SVTe - A tool to validate database schemas giving explanations

DBTest 2008 - Proceedings of the 1st International Workshop on Testing Database Systems

Volumn , Issue , 2008, Pages

  Farré, Carles ^a   Rull, Guillem ^a   Teniente, Ernest ^a   Urpí, Toni ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Database schema; Explanation; Validation

Indexed keywords

SOIL STRUCTURE INTERACTIONS; TECHNICAL PRESENTATIONS;

DATABASE SCHEMA; DATABASE SCHEMAS; EXPLANATION; ITS ARCHITECTURES; RELATIONAL DATABASES; VALIDATION;

DATABASE SYSTEMS;

EID: 57349181449     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1385269.1385281     Document Type: Conference Paper

References (16)

1. Adrion, W. R., Branstad, M. A., Cherniavsky, J. C: Validation, Verification and Testing of Computer Software. ACM Computing Surveys. 14(2), pp. 159-192, 1982.
2. N. Bruno and S. Chaudhuri. Flexible Database Generators. In VLDB'05, pages 1097-1107, 2005.
3. C. Binnig, D. Kossmann, E. Lo: Reverse Query Processing. In ICDE'07, pp. 506-515, 2007.
4. C. Binnig, D. Kossmann, E. Lo, T. Özsu: QAGen: Generating Query-Aware Test-Databases. In SIGMOD'07, pp. 341-352,2007.
5. Bubenko, J. A.: Information System Methodologies - A Research View. In: Proc. IFIP WG 8.1 Working Conf. on Information Systems Design Methodologies, 289-318, 1986.
6. D. Chays, Y. Deng, and P. G. Frankl. An AGENDA for testing relational database applications. Software Testing, Verification and Reliability, 2004.
7. H. Decker, E. Teniente, T. Urpí. How to Tackle Schema Validation by View Updating. In Proc. of'EDBT'96, LNCS 1057, Springer, pp. 535-549, 1996.
8. C. Farré, W.Nutt, E. Teniente, T. Urpí. Containment of Conjunctive Queries over Databases with Null Values. Proc. ofICDT'07, LNCS, Springer, pp. 389-403, 2007.
9. C. Farré, E. Teniente, T. Urpí. A New Approach to Checking Schema Validation Properties. Proc. ofDEXA 2004, LNCS, Springer, pp. 77-86, 2004.
10. C. Farré, E. Teniente, T. Urpí. Checking Query Containment with the CQC Method. Data and Knowledge Engineering, 53(2), pp. 63-123,2003.
11. K. Houkjaer, K. Torp, R. Wind. Simple and Realistic Data Generation. In VLDB'06, pp. 1243 - 1246, 2006.
12. IBM DB2 Test Database Generator. http://www- 306.ibm.com/software/data/ db2imstools/db2tools/db2tdbg/.
13. The Mondial Database, http://www.dbis.informatik.uni-goettingen.de/ Mondial/.
14. G.Rull, C. Farré, E. Teniente, T. Urpí. Computing Explanations for Unlivery Queries in Databases. Proc. of CIKM'07, pp. 955-958, 2007.
15. G.Rull, C. Farré, E. Teniente, T. Urpí. Providing Explanations for Database Schema Validation. UPC Research Report LSI-08-14-R, 2008.
16. E. Teniente, C. Farré, T. Urpí et al. SVT: Schema Validation Tool for Microsoft SQL Server. Proc. of'VLDB 2004, pp. 1349-1352, 2006.