An Extended Entity-Relationship (E²R) Database Specification and its Automatic Verification and Transformation into the Logical Relational Design.

@inproceedings{DBLP:conf/er/KozacynskiL87,
  author    = {Wojtek Kozaczynski and
               Leszek Lilien},
  editor    = {Salvatore T. March},
  title     = {An Extended Entity-Relationship (ER) Database Specification
               and its Automatic Verification and Transformation into the Logical
               Relational Design},
  booktitle = {Entity-Relationship Approach, Proceedings of the Sixth International
               Conference on Entity-Relationship Approach, New York, USA, November
               9-11, 1987},
  publisher = {North-Holland},
  year      = {1987},
  isbn      = {0-444-70440-X},
  pages     = {533-549},
  ee        = {db/conf/er/KozacynskiL87.html},
  crossref  = {DBLP:conf/er/87},
  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

[Bouz84]

Mokrane Bouzeghoub, Georges Gardarin: The Design of an Expert System for Database Design. ICOD-2 Workshop on New Applications of Data Bases 1983: 203-223 BibTeX

[Bria85]

Henri Briand, Henri Habrias, J.-F. Hue, Y. Simon: Expert System for Translating an E-R Diagram into Databases. ER 1985: 199-206 BibTeX

[Brod84]

Michael L. Brodie, Dzenan Ridjanovic: On the Design and Specification of Database Transactions. On Conceptual Modelling (Intervale) 1982: 277-312 BibTeX

[Chen76]

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

[Cloc81]

W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981
BibTeX

[Codd70]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[Date86a]

C. J. Date: An Introduction to Database Systems, Volume I, 4th Edition. Addison-Wesley 1986
BibTeX

[Date86b]

C. J. Date: Referential Integrity. VLDB 1981: 2-12 BibTeX

[Doga85]

Asuman Dogac, Peter P. Chen, N. Erol: The Design and Implementation of an Integrity Subsystem for the Relational DBMS RAP. ER 1985: 295-302 BibTeX

[Elma85]

Ramez Elmasri, James A. Weeldreyer, Alan R. Hevner: The Category Concept: An Extension to the Entity-Relationship Model. Data Knowl. Eng. 1(1): 75-116(1985) BibTeX

[Gree85]

...

[Hamm81]

Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981) BibTeX

[Hawr84]

...

[Hunt79]

Harry B. Hunt III, Daniel J. Rosenkrantz: The Complexity of Testing Predicate Locks. SIGMOD Conference 1979: 127-133 BibTeX

[Jarv86]

...

[Koza86]

...

[Lenz83]

Maurizio Lenzerini, Gaetano Santucci: Cardinality Constraints in the Entity-Relationship Model. ER 1983: 529-549 BibTeX

[Mark86]

Leo Mark, Nick Roussopoulos: Metadata Management. IEEE Computer 19(12): 26-36(1986) BibTeX

[Naka83]

Ryohei Nakano: Integrity Checking in a Logic-Oriented ER Model. ER 1983: 551-564 BibTeX

[Nava83]

Shamkant B. Navathe, A. Cheng: A Methodology for Database Schema Mapping from Extended Entity-Relationship Models into the Hierarchical Model. ER 1983: 223-248 BibTeX

[Rose80]

Daniel J. Rosenkrantz, Harry B. Hunt III: Processing Conjunctive Predicates and Queries. VLDB 1980: 64-72 BibTeX

[Saka83]

Hirotaka Sakai: Entity-Relationship Approach to Logical Database Design. ER 1983: 155-188 BibTeX

[Sche80]

Peter Scheuermann, Gerd Schiffner, H. Weber: Abstraction Capabilities and Invariant Properties Modelling within the Entity-Relationship Approach. ER 1979: 121-140 BibTeX

[Smit77]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX

[Tabo83]

Yves Tabourier: Further Development of the Occurrences Structure Concept: The EROS Approach. ER 1983: 565-583 BibTeX

[Teor86]

Toby J. Teorey, Dongqing Yang, James P. Fry: A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model. ACM Comput. Surv. 18(2): 197-222(1986) BibTeX

[Tsich84]

...

[Wong77]

Kai C. Wong, Murray Edelberg: Interval Hierarchies and Their Application to Predicate Files. ACM Trans. Database Syst. 2(3): 223-232(1977) BibTeX

Referenced by

1. Jean-Luc Hainaut, Vincent Englebert, Jean Henrard, Jean-Marc Hick, Didier Roland: Database Evolution: the DB-Main Approach. ER 1994: 112-131
2. Jean-Luc Hainaut, C. Tonneau, M. Joris, M. Chandelon: Schema Transformation Techniques for Database Reverse Engineering. ER 1993: 364-375
3. Jean-Luc Hainaut: Database Reverse Engineering: Models, Techniques, and Strategies. ER 1991: 729-741
4. Jean-Luc Hainaut: Entity-Generating Schema Transformations for Entity-Relationship Models. ER 1991: 643-670
5. Martin Gogolla, Bernd Meyer, Gerd Westerman: Drafting Extended Entity-Relationship Schemas with QUEER. ER 1991: 561-585
6. Jean-Luc Hainaut: Entity-Relationship Models: Formal Specification and Comparision. ER 1990: 53-64
7. Luiz Tucherman, Marco A. Casanova, Pedro M. Gualandi, Anelise P. Braga: A Proposal for Formalizing and Extending the Generalization and Subset Abstractions in the Enity-Relationship Model. ER 1989: 27-41