SVTe: a tool to validate database schemas giving explanations

ABSTRACT

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.

REFERENCES

• 1: W. Richards Adrion , Martha A. Branstad , John C. Cherniavsky, Validation, Verification, and Testing of Computer Software, ACM Computing Surveys (CSUR), v.14 n.2, p.159-192, June 1982 [doi>10.1145/356876.356879]
• 2: Nicolas Bruno , Surajit Chaudhuri, Flexible database generators, Proceedings of the 31st international conference on Very large data bases, August 30-September 02, 2005, Trondheim, Norway
• 3: C. Binnig, D. Kossmann, E. Lo: Reverse Query Processing. In ICDE '07, pp. 506--515, 2007.
• 4: Carsten Binnig , Donald Kossmann , Eric Lo , M. Tamer Özsu, QAGen: generating query-aware test databases, Proceedings of the 2007 ACM SIGMOD international conference on Management of data, June 11-14, 2007, Beijing, China [doi>10.1145/1247480.1247520]
• 5: J A Bubenko, Jr., Information system methodologies—a research view, Proc. of the IFIP WG 8.1 working conference on Information systems design methodologies: improving the practice, p.289-318, July 1986, Noordwijkerhout, Netherlands
• 6: David Chays , Yuetang Deng , Phyllis G. Frankl , Saikat Dan , Filippos I. Vokolos , Elaine J. Weyuker, An AGENDA for testing relational database applications: Research Articles, Software Testing, Verification & Reliability, v.14 n.1, p.17-44, March 2004 [doi>10.1002/stvr.v14:1]
• 7: Hendrik Decker , Ernest Teniente , Toni Urpí, How to Tackle Schema Validation by View Updating, Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology, p.535-549, March 25-29, 1996
• 8: C. Farré, W. Nutt, E. Teniente, T. Urpí. Containment of Conjunctive Queries over Databases with Null Values. Proc. of ICDT '07, LNCS, Springer, pp. 389--403, 2007.
• 9: C. Farré, E. Teniente, T. Urpí. A New Approach to Checking Schema Validation Properties. Proc. of DEXA 2004, LNCS, Springer, pp. 77--86, 2004.
• 10: Carles Farré , Ernest Teniente , Toni Urpí, Checking query containment with the CQC method, Data & Knowledge Engineering, v.53 n.2, p.163-223, May 2005 [doi>10.1016/j.datak.2004.08.002]
• 11: Kenneth Houkjær , Kristian Torp , Rico Wind, Simple and realistic data generation, Proceedings of the 32nd international conference on Very large data bases, September 12-15, 2006, Seoul, Korea
• 12: IBM DB2 Test Database Generator. http://www-306.ibm.com/software/data/db2imstools/db2tools/db2tdbg/.
• 13: The Mondial Database, http://www.dbis.informatik.unigoettingen.de/Mondial/.
• 14: Guillem Rull , Carles Farré , Ernest Teniente , Toni Urpí, Computing explanations for unlively queries in databases, Proceedings of the sixteenth ACM conference on Conference on information and knowledge management, November 06-10, 2007, Lisbon, Portugal [doi>10.1145/1321440.1321584]
• 15: G. Rull, C. Farré, E. Teniente, T. Urpí. Providing Explanations for Database Schema Validation. UPC Research Report LSI-08-14-R, 2008.
• 16: Ernest Teniente , Carles Farré , Toni Urpí , Carlos Beltrán , David Gañán, SVT: schema validation tool for microsoft SQL-server, Proceedings of the Thirtieth international conference on Very large data bases, p.1349-1352, August 31-September 03, 2004, Toronto, Canada

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Testing tools (e.g., data generators, coverage testing)

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Schema and subschema

General Terms:
Design, Verification

Keywords:
database schema, explanation, validation