dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Generating Consistent Test Data for a Variable Set of General Consistency Constraints.

Andrea Neufeld, Guido Moerkotte, Peter C. Lockemann: Generating Consistent Test Data for a Variable Set of General Consistency Constraints. VLDB J. 2(2): 173-213(1993)
@article{DBLP:journals/vldb/NeufeldML93,
  author    = {Andrea Neufeld and
               Guido Moerkotte and
               Peter C. Lockemann},
  title     = {Generating Consistent Test Data for a Variable Set of General
               Consistency Constraints},
  journal   = {VLDB J.},
  volume    = {2},
  number    = {2},
  year      = {1993},
  pages     = {173-213},
  ee        = {http://www.vldb.org/journal/VLDBJ2/P172.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

To address the problem of generating test data for a set of general consistency constraints, we propose a new two-step approach: First the interdependencies between consistency constraints are explored and a generator formula is derived on their basis. During its creation, the user may exert control. In essence, the generator formula contains information to restrict the search for consistent test databases. In the second step, the test database is generated. Here, two different approaches are proposed. The first adapts an already published approach to generating finite models by enhancing it with requirements imposed by test data generation. The second, a new approach, operationalizes the generator formula by translating it into a sequence of operators, and then executes it to construct the test database. For this purpose, we introduce two powerful operators: the generation operator and the test-and-repair operator. This approach also allows for enhancing the generation operators with heuristics for generating facts in a goal-directed fashion. It avoids the generation of test data that may contradict the consistency constraints, and limits the search space for the test data. This article concludes with a careful evaluation and comparison of the performance of the two approaches and their variants by describing a number of benchmarks and their results.

Copyright © 1993 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Key Words

Design, validation, logic, test data, consistency.

References

[Alavi 1984]
Maryam Alavi: An Assessment of the Prototyping Approach to Information Systems Development. Commun. ACM 27(6): 556-563(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Bitton et al. 1983]
Dina Bitton, David J. DeWitt, Carolyn Turbyfill: Benchmarking Database Systems A Systematic Approach. VLDB 1983: 8-19 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Brodie & Ridjanovic 1984]
...
[Bry & Manthey 1986]
François Bry, Rainer Manthey: Checking Consistency of Database Constraints: a Logical Basis. VLDB 1986: 13-20 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Bry et al. 1988]
François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Budde et al. 1984]
...
[Cosmadakis & Papadimitriou 1984]
Stavros S. Cosmadakis, Christos H. Papadimitriou: Updates of Relational Views. J. ACM 31(4): 742-760(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[DeWitt 1985]
David J. DeWitt: Benchmarking Database Systems: Past Effords and Future Diretions. IEEE Database Eng. Bull. 8(1): 2-9(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Fagin 1982]
Ronald Fagin: Horn clauses and database dependencies. J. ACM 29(4): 952-985(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Fagin & Vardi 1983]
Ronald Fagin, Moshe Y. Vardi: Armstrong Databases for Functional and Inclusion Dependencies. Inf. Process. Lett. 16(1): 13-19(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Geibel 1991]
...
[Guessoum & Lloyd 1990]
Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases. New Generation Comput. 8(1): 71-89(1990) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Guessoum & Lloyd 1991]
Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases II. New Generation Comput. 10(1): 73-100(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Kung 1985]
...
[Lockemann et al. 93]
Peter C. Lockemann, Guido Moerkotte, Andrea Neufeld, Klaus Radermacher, Norbert Runge: Database Design with User-Definable Modelling Concepts. Data Knowl. Eng. 10: 229-257(1993) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Manchanda & Warren 1986]
...
[Mannila & Räihä 1989]
Heikki Mannila, Kari-Jouko Räihä: Automatic Generation of Test Data for Relational Queries. J. Comput. Syst. Sci. 38(2): 240-258(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Manthey & Bry 1987]
...
[Manthey & Bry 1988]
Rainer Manthey, François Bry: SATCHMO: A Theorem Prover Implemented in Prolog. CADE 1988: 415-434 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Moerkotte & Lockemann 1991]
Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Moerkotte & Schmitt]
...
[Neugebauer & Neumann 1985]
...
[Ngu 1989]
Anne H. H. Ngu: Conceptual Transaction Modeling. IEEE Trans. Knowl. Data Eng. 1(4): 508-518(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Nicolas 1982]
Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Noble 1983]
Hugh Noble: The automatic generation of test data for a relational database. Inf. Syst. 8(2): 79-86(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Oberweis et al. 1986]
...
[Reiter 1978]
Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Rörle 1989]
...
[Rossi & Naqvi 1989]
Francesca Rossi, Shamim A. Naqvi: Contributions to the View Update Problem. ICLP 1989: 398-415 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Schönthaler 1989]
...
[Silva & Melkanoff 1981]
Antonio M. Silva, Michel A. Melkanoff: A Method for Helping Discover the Dependencies of a Relation. Advances in Data Base Theory 1979: 115-133 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Stonebraker 1985]
Michael Stonebraker: Tips on Benchmarking Data Base Systems. IEEE Database Eng. Bull. 8(1): 10-18(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Thomasic 1988]
Anthony Tomasic: View Update Translation via Deduction and Annotation. ICDT 1988: 338-352 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ullman 1988]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Fri Sep 14 18:29:07 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page