Enhancing the Quality of Conceptual Database Specifications through Validation.

@inproceedings{DBLP:conf/er/ZamperoniL93,
  author    = {Andreas Zamperoni and
               Perdita L{\"o}hr-Richter},
  editor    = {Ramez Elmasri and
               Vram Kouramajian and
               Bernhard Thalheim},
  title     = {Enhancing the Quality of Conceptual Database Specifications through
               Validation},
  booktitle = {Entity-Relationship Approach - ER'93, 12th International Conference
               on the Entity-Relationship Approach, Arlington, Texas, USA, December
               15-17, 1993, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {823},
  year      = {1993},
  isbn      = {3-540-58217-7},
  pages     = {85-98},
  ee        = {db/conf/er/ZamperoniL93.html},
  crossref  = {DBLP:conf/er/93},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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/An2-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/aDVD1 or /dvd

References

[Be 84]

...

[Be 91]

Gilles Bernot: Testing Against Formal Specifications: A Theoretical View. TAPSOFT, Vol.2 1991: 99-119

[BrMa 86]

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

[Ch 76]

Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976)

[DeDa 89]

Lois M. L. Delcambre, Karen C. Davis: Automatic Validation of Object-Oriented Database Structures. ICDE 1989: 2-9

[EGHH+92]

Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, Hans-Dieter Ehrich: Conceptual modelling of database applications using extended ER model. Data Knowl. Eng. 9: 157-204(1992)

[GhJM 91]

...

[HuKi 89]

Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987)

[JSHa 91]

Ralf Jungclaus, Gunter Saake, Thorsten Hartmann: Language Features for Object-Oriented Conceptual Modelling. ER 1991: 309-324

[NMLo 93]

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)

[LeNo 90]

Maurizio Lenzerini, Paolo Nobili: On the satisfiability of dependency constraints in entity-relationship schemata. Inf. Syst. 15(4): 453-461(1990)

[Lö 92]

Perdita Löhr-Richter: Basic Units for the Database Design Process. IS/KI 1992: 56-67

[Ma 74]

...

[OsCl 92]

...

[PaSt 82]

Christos H. Papadimitriou, Kenneth Steiglitz: Combinatorial Optimization: Algorithms and Complexity. Prentice-Hall 1982, ISBN 0-13-152462-3

[WaFu 89]

Dolores R. Wallace, Roger U. Fujii: Verification and Validation: An Overview. IEEE Software 6(3): 10-17(1989)

[Za 92]

...