QAGen: Generating query-aware test databases

Proceedings of the ACM SIGMOD International Conference on Management of Data

Volumn , Issue , 2007, Pages 341-352

  Binnig, Carsten ^a   Kossmann, Donald ^a   Lo, Eric ^a   Zsu, M Tamer ^b  

^a ETH ZURICH   (Switzerland)

^b UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Database; Query processing; Symbolic database; Symbolic execution; Symbolic query processing; Testing

Indexed keywords

CONSTRAINT THEORY; DATABASE SYSTEMS; ERROR ANALYSIS; SET THEORY; STORAGE ALLOCATION (COMPUTER);

DATABASE GENERATOR; MEMORY MANAGERS; SYMBOLIC DATABASE; SYMBOLIC QUERY PROCESSING;

QUERY PROCESSING;

EID: 35448984606     PISSN: 07308078     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1247480.1247520     Document Type: Conference Paper

References (25)

1. DTM Data Generator, http://www.sqledit.com/dg/.
2. IBM DB2 Test Database Generator. http://www306.ibm.com/software/data/ db2i.mstools/db2tools/db2tdbg/.
3. International Organization for Standardization (ISO). Information Technology-Database Language SQL, 1999.
4. TPC benchmark H. http://www.tpc.org/tpch.
5. C. Binnig, D. Kossmann, and E. Lo. Reverse query processing. In ICDE, 2007.
6. C. Binnig, D. Kossmann, E. Lo, and M. T. Özsu. QAGen: Generating Query-Aware Test Databases. ETH Zurich Technical Report, 2007.
7. N. Bruno and S. Chaudhuri. Flexible database generators. In VLDB, pages 1097-1107, 2005.
8. N. Bruno, S. Chaudhuri, and D. Thomas. Generating Queries with Cardinality Constraints for DBMS Testing. TKDE, 2006.
9. S. Chaudhuri and V. Narasayya. TPC-D data generation with skew.
10. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. 2000.
11. E. F. Codd. A relational model of data for large shared data banks. Commun. ACM, 13(6):377-387, 1970.
12. B. Cook, D. Kroening, and N. Sharygina. Cogent: Accurate theorem proving for program verification. In CAV, pages 296-300, 2005.
13. R. A. Ganski and H. K. T. Wong. Optimization of nested SQL queries revisited. In SIGMOD, pages 23-33, 1987.
14. M. R. Garey and D. S. Johnson. Computers and Intractability; A Guide to the Theory of NP-Completeness. 1990.
15. G. Graefe. Query evaluation techniques for large databases. ACM Comput. Surv, 25(2):73-170, 1993.
16. J. Gray, P. Sundaresan, S. Englert, K. Baclawski, and P. J. Weinberger. Quickly generating billion-record synthetic databases. In SIGMOD, pages 243-252, 1994.
17. K. Houkjasr, K. Torp, and R. Wind. Simple and realistic data generation. In VLDB, pages 1243-1246, 2006.
18. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
19. A. Klug. Calculating constraints on relational expression. TODS, 5(3):260-290, 1980.
20. B. Kuijpers. Introduction to constraint databases. SIGMOD Rec., 31(3):35-36, 2002.
21. G. N. Paulley and P.-A. Larson. Exploiting uniqueness in query optimization. In ICDE, pages 68-79, 1994.
22. M. Poess and J. M. Stephens. Generating thousand benchmark queries in seconds. In VLDB, pages 1045-1053, 2004.
23. D. R. Slutz. Massive Stochastic Testing of SQL. In VLDB, pages 618-622, 1998.
24. J. M. Stephens and M. Poess. Mudd: a multi-dimensional data generator. In WOSP, pages 104-109, 2004.
25. G. Zipf. Human Behaviour and the Principle of Least Effort. 1949.