Information system methodologies—a research view
Proc. of the IFIP WG 8.1 working conference on Information systems design methodologies: improving the practice
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
How to Tackle Schema Validation by View Updating
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
An AGENDA for testing relational database applications: Research Articles
Software Testing, Verification & Reliability
Checking query containment with the CQC method
Data & Knowledge Engineering
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Simple and realistic data generation
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
QAGen: generating query-aware test databases
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
SVT: schema validation tool for microsoft SQL-server
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Computing explanations for unlively queries in databases
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Containment of conjunctive queries over databases with null values
ICDT'07 Proceedings of the 11th international conference on Database Theory
Providing Explanations for Database Schema Validation
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
AuRUS: automated reasoning on UML/OCL schemas
ER'10 Proceedings of the 29th international conference on Conceptual modeling
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
| Hi-index | 0.00 |
We present SVTe, a tool to validate relational database schemas that allows performing several tests to determine the correctness of a schema. When a test is satisfied, our tool provides an example of a database state satisfying the test. Otherwise, it gives an explanation. We describe the main functionalities of SVTe, its architecture and provide some experimental results.