{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T08:34:40Z","timestamp":1772872480906,"version":"3.50.1"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,8,1]],"date-time":"2009-08-01T00:00:00Z","timestamp":1249084800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The VLDB Journal"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1007\/s00778-009-0157-y","type":"journal-article","created":{"date-parts":[[2009,7,31]],"date-time":"2009-07-31T14:09:14Z","timestamp":1249049354000},"page":"203-230","source":"Crossref","is-referenced-by-count":27,"title":["A framework for testing DBMS features"],"prefix":"10.1007","volume":"19","author":[{"given":"Eric","family":"Lo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carsten","family":"Binnig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Donald","family":"Kossmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Tamer \u00d6zsu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wing-Kai","family":"Hon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,8,1]]},"reference":[{"key":"157_CR1","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, J.: Using formal methods to derive test frames in category-partition testing. In: Annual Conference on Computer Assurance, pp. 69\u201380 (1994)","DOI":"10.1109\/CMPASS.1994.318466"},{"key":"157_CR2","doi-asserted-by":"crossref","unstructured":"Binnig, C., Kossmann, D., Lo, E.: Reverse query processing. In: ICDE (2007)","DOI":"10.1109\/ICDE.2007.367896"},{"key":"157_CR3","doi-asserted-by":"crossref","unstructured":"Binnig, C., Kossmann, D., Lo, E., \u00d6zsu, M.T.: QAGen: generating query-aware test databases. In: SIGMOD, pp. 341\u2013352 (2007)","DOI":"10.1145\/1247480.1247520"},{"key":"157_CR4","unstructured":"Bruno, N., Chaudhuri, S.: Flexible database generators. In VLDB, pp. 1097\u20131107 (2005)"},{"key":"157_CR5","doi-asserted-by":"crossref","unstructured":"Bruno, N., Chaudhuri, S., Thomas, D.: Generating Queries with Cardinality Constraints for DBMS Testing. TKDE (2006)","DOI":"10.1109\/TKDE.2006.190"},{"key":"157_CR6","unstructured":"Chaudhuri, S., Narasayya, V.: TPC-D data generation with skew. Accessible at http:\/\/ftp.research.microsoft.com\/users\/viveknar\/tpcdskew (1997)"},{"key":"157_CR7","doi-asserted-by":"crossref","unstructured":"Chordia, S., D ettinger, E., Triou, E.: Different query verification approaches used to test entity sql. In: DBTest, p. 7 (2008)","DOI":"10.1145\/1385269.1385278"},{"key":"157_CR8","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking (2000)"},{"issue":"6","key":"157_CR9","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"Codd E.F.: A relational model of data for large shared data banks. Commun. ACM 13(6), 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"issue":"7","key":"157_CR10","first-page":"437","volume":"23","author":"D.M. Cohen","year":"1997","unstructured":"Cohen D.M., Dalal S.R., Fredman M.L., Patton G.C.: The aetg system: an approach to testing based on combinatiorial design. IEEE TSE 23(7), 437\u2013444 (1997)","journal-title":"IEEE TSE"},{"key":"157_CR11","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Gibbons, P.B., Mugridge, W.B., Colbourn, C.J.: Constructing test suites for interaction testing. In: ICSE, pp. 38\u201348 (2003)","DOI":"10.1109\/ICSE.2003.1201186"},{"key":"157_CR12","doi-asserted-by":"crossref","unstructured":"Cook, B., Kroening, D., Sharygina, N.: Cogent: Accurate theorem proving for program verification. In: CAV, pp. 296\u2013300 (2005)","DOI":"10.1007\/11513988_30"},{"key":"157_CR13","unstructured":"DTM Data Generator. http:\/\/www.sqledit.com\/dg\/"},{"key":"157_CR14","doi-asserted-by":"crossref","unstructured":"Elhemali, M., Giakoumakis, L.: Unit-testing query transformation rules. In: DBTest, p. 3 (2008)","DOI":"10.1145\/1385269.1385273"},{"key":"157_CR15","doi-asserted-by":"crossref","unstructured":"Elkan, C.: A decision procedure for conjunctive query disjointness. In: PODS (1989)","DOI":"10.1145\/73721.73735"},{"key":"157_CR16","doi-asserted-by":"crossref","unstructured":"Ganski, R.A., Wong, H.K.T.: Optimization of nested SQL queries revisited. In: SIGMOD, pp. 23\u201333 (1987)","DOI":"10.1145\/38713.38723"},{"key":"157_CR17","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability; A Guide to the Theory of NP-Completeness (1990)"},{"issue":"2","key":"157_CR18","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/152610.152611","volume":"25","author":"G. Graefe","year":"1993","unstructured":"Graefe G.: Query evaluation techniques for large databases. ACM Comput. Surv. 25(2), 73\u2013170 (1993)","journal-title":"ACM Comput. Surv."},{"key":"157_CR19","doi-asserted-by":"crossref","unstructured":"Gray, J., Sundaresan, P., Englert, S., Baclawski, K., Weinberger, P.J.: Quickly generating billion-record synthetic databases. In: SIGMOD, pp. 243\u2013252 (1994)","DOI":"10.1145\/191839.191886"},{"issue":"3","key":"157_CR20","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1002\/stvr.319","volume":"15","author":"M. Grindal","year":"2005","unstructured":"Grindal M., Offutt J., Andler S.F.: Combination testing strategies: a survey. Softw. Test. Verif. Reliab. 15(3), 167\u2013199 (2005)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"157_CR21","unstructured":"Houkj\u00e6r, K., Torp, K., Wind, R.: Simple and realistic data generation. In: VLDB, pp. 1243\u20131246 (2006)"},{"issue":"4","key":"157_CR22","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/321906.321909","volume":"22","author":"O.H. Ibarra","year":"1975","unstructured":"Ibarra O.H., Kim C.E.: Fast approximation algorithms for the knapsack and sum of subset problems. J. ACM 22(4), 463\u2013468 (1975)","journal-title":"J. ACM"},{"key":"157_CR23","unstructured":"IBM DB2 Test Database Generator. http:\/\/www-306.ibm.com\/software\/data\/db2imstools\/db2tools\/db2tdbg\/"},{"issue":"2","key":"157_CR24","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0022-0000(03)00006-0","volume":"66","author":"H. Kellerer","year":"2003","unstructured":"Kellerer H., Mansini R., Pferschy U., Speranza M.G.: An efficient fully polynomial approximation scheme for the subset-sum problem. J. Comput. Syst. Sci. 66(2), 349\u2013370 (2003)","journal-title":"J. Comput. Syst. Sci."},{"issue":"7","key":"157_CR25","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"issue":"3","key":"157_CR26","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/320613.320615","volume":"5","author":"A. Klug","year":"1980","unstructured":"Klug A.: Calculating constraints on relational expression. TODS 5(3), 260\u2013290 (1980)","journal-title":"TODS"},{"issue":"3","key":"157_CR27","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/601858.601866","volume":"31","author":"B. Kuijpers","year":"2002","unstructured":"Kuijpers B.: Introduction to constraint databases. SIGMOD Rec. 31(3), 35\u201336 (2002)","journal-title":"SIGMOD Rec."},{"key":"157_CR28","doi-asserted-by":"crossref","unstructured":"Lo, E., Binnig, C., Kossmann, D., Ozsu, M.T., Hon, W.-K.: A Framework for Testing DBMS Features. Technical Report. Hong Kong Polytechnic University (2008)","DOI":"10.1007\/s00778-009-0157-y"},{"key":"157_CR29","doi-asserted-by":"crossref","unstructured":"Mannila, H., R\u00e4ih\u00e4, K.-J.: Test data for relational queries. In: PODS, pp. 217\u2013223 (1986)","DOI":"10.1145\/6012.15415"},{"key":"157_CR30","doi-asserted-by":"crossref","unstructured":"Mishra, C., Koudas, N., Zuzarte, C.: Generating targeted queries for database testing. In: SIGMOD, pp. 499\u2013510 (2008)","DOI":"10.1145\/1376616.1376668"},{"key":"157_CR31","doi-asserted-by":"crossref","unstructured":"Ostrand, T.J., Balcer, M.J.: The category-partition method for specifying and generating fuctional tests. Commun. ACM, 31(6) (1988)","DOI":"10.1145\/62959.62964"},{"key":"157_CR32","doi-asserted-by":"crossref","unstructured":"Poess, M., Stephens, J.M.: Generating thousand benchmark queries in seconds. In: VLDB, pp. 1045\u20131053 (2004)","DOI":"10.1016\/B978-012088469-8.50091-7"},{"issue":"4","key":"157_CR33","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1111\/1475-3995.00366","volume":"9","author":"B. Przydatek","year":"2002","unstructured":"Przydatek B.: A fast approximation algorithm for the subset-sum problem. Int. Trans. Oper. Res. 9(4), 437\u2013459 (2002)","journal-title":"Int. Trans. Oper. Res."},{"key":"157_CR34","unstructured":"Slutz, D.R.: Massive Stochastic Testing of SQL. In: VLDB, pp. 618\u2013622 (1998)"},{"key":"157_CR35","doi-asserted-by":"crossref","unstructured":"Stephens, J.M., Poess, M.: Mudd: a multi-dimensional data generator. In: WOSP, pp. 104\u2013109 (2004)","DOI":"10.1145\/974044.974060"},{"key":"157_CR36","doi-asserted-by":"crossref","unstructured":"Williams, A.W., Probert, R.L.: A measure for component interaction test coverage. In: AICCSA, pp. 304\u2013312 (2001)","DOI":"10.1109\/AICCSA.2001.934001"},{"key":"157_CR37","unstructured":"Zipf, G.: Human Behaviour and the Principle of Least Effort (1949)"}],"container-title":["The VLDB Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-009-0157-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00778-009-0157-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-009-0157-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,9]],"date-time":"2021-10-09T07:37:03Z","timestamp":1633765023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00778-009-0157-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,1]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["157"],"URL":"https:\/\/doi.org\/10.1007\/s00778-009-0157-y","relation":{},"ISSN":["1066-8888","0949-877X"],"issn-type":[{"value":"1066-8888","type":"print"},{"value":"0949-877X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8,1]]}}}