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

@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        = {db/journals/vldb/NeufeldML93.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

Online Paper

• Download PDF file (www.vldb.org, Darmstadt, Germany)
• Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An4-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[Alavi 1984]

Maryam Alavi: An Assessment of the Prototyping Approach to Information Systems Development. Commun. ACM 27(6): 556-563(1984) BibTeX

[Bitton et al. 1983]

Dina Bitton, David J. DeWitt, Carolyn Turbyfill: Benchmarking Database Systems A Systematic Approach. VLDB 1983: 8-19 BibTeX

[Brodie & Ridjanovic 1984]

...

[Bry & Manthey 1986]

François Bry, Rainer Manthey: Checking Consistency of Database Constraints: a Logical Basis. VLDB 1986: 13-20 BibTeX

[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 BibTeX

[Budde et al. 1984]

...

[Cosmadakis & Papadimitriou 1984]

Stavros S. Cosmadakis, Christos H. Papadimitriou: Updates of Relational Views. J. ACM 31(4): 742-760(1984) BibTeX

[DeWitt 1985]

David J. DeWitt: Benchmarking Database Systems: Past Effords and Future Diretions. IEEE Database Eng. Bull. 8(1): 2-9(1985) BibTeX

[Fagin 1982]

Ronald Fagin: Horn clauses and database dependencies. J. ACM 29(4): 952-985(1982) BibTeX

[Fagin & Vardi 1983]

Ronald Fagin, Moshe Y. Vardi: Armstrong Databases for Functional and Inclusion Dependencies. Inf. Process. Lett. 16(1): 13-19(1983) BibTeX

[Geibel 1991]

...

[Guessoum & Lloyd 1990]

Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases. New Generation Comput. 8(1): 71-89(1990) BibTeX

[Guessoum & Lloyd 1991]

Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases II. New Generation Comput. 10(1): 73-100(1991) BibTeX

[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) BibTeX

[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) BibTeX

[Manthey & Bry 1987]

...

[Manthey & Bry 1988]

Rainer Manthey, François Bry: SATCHMO: A Theorem Prover Implemented in Prolog. CADE 1988: 415-434 BibTeX

[Moerkotte & Lockemann 1991]

Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991) BibTeX

[Moerkotte & Schmitt]

...

[Neugebauer & Neumann 1985]

...

[Ngu 1989]

Anne H. H. Ngu: Conceptual Transaction Modeling. IEEE Trans. Knowl. Data Eng. 1(4): 508-518(1989) BibTeX

[Nicolas 1982]

Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) BibTeX

[Noble 1983]

Hugh Noble: The automatic generation of test data for a relational database. Inf. Syst. 8(2): 79-86(1983) BibTeX

[Oberweis et al. 1986]

...

[Reiter 1978]

Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76 BibTeX

[Rörle 1989]

...

[Rossi & Naqvi 1989]

Francesca Rossi, Shamim A. Naqvi: Contributions to the View Update Problem. ICLP 1989: 398-415 BibTeX

[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 BibTeX

[Stonebraker 1985]

Michael Stonebraker: Tips on Benchmarking Data Base Systems. IEEE Database Eng. Bull. 8(1): 10-18(1985) BibTeX

[Thomasic 1988]

Anthony Tomasic: View Update Translation via Deduction and Annotation. ICDT 1988: 338-352 BibTeX

[Ullman 1988]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

Referenced by

1. Andreas Zamperoni, Perdita Löhr-Richter: Enhancing the Quality of Conceptual Database Specifications through Validation. ER 1993: 85-98
2. Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991)