Integrity Checking in a Logic-Oriented ER Model.

@inproceedings{DBLP:conf/er/Nakano83,
  author    = {Ryohei Nakano},
  editor    = {Carl G. Davis and
               Sushil Jajodia and
               Peter A. Ng and
               Raymond T. Yeh},
  title     = {Integrity Checking in a Logic-Oriented ER Model},
  booktitle = {Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach
               (ER'83)},
  publisher = {North-Holland},
  year      = {1983},
  isbn      = {0-444-86777-5},
  pages     = {551-564},
  ee        = {db/conf/er/Nakano83.html},
  crossref  = {DBLP:conf/er/83},
  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

[1]

Frank W. Allen, Mary E. S. Loomis, Michael V. Mannino: The Integrated Dictionary/Directory System. ACM Comput. Surv. 14(2): 245-286(1982) BibTeX

[2]

Morton M. Astrahan, Mike W. Blasgen, Donald D. Chamberlin, Kapali P. Eswaran, Jim Gray, Patricia P. Griffiths, W. Frank King III, Raymond A. Lorie, Paul R. McJones, James W. Mehl, Gianfranco R. Putzolu, Irving L. Traiger, Bradford W. Wade, Vera Watson: System R: Relational Approach to Database Management. ACM Trans. Database Syst. 1(2): 97-137(1976) BibTeX

[3]

Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. VLDB 1980: 126-136 BibTeX

[4]

...

[5]

Chin-Liang Chang: DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. Logic and Data Bases 1977: 201-236 BibTeX

[6]

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

[7]

E. F. Codd: Relational Completeness of Data Base Sublanguages. In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972) BibTeX

[8]

E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX

[9]

E. F. Codd: Data Models in Database Management. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 112-114 BibTeX

[10]

...

[11]

Michael Hammer, Dennis McLeod: Semantic Integrity in a Relational Data Base System. VLDB 1975: 25-47 BibTeX

[12]

Dennis McLeod: Tutorial on Database Research. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 26-28 BibTeX

[13]

John Mylopoulos: Tutorial on Artificial Intelligence Research. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 13-18 BibTeX

[14]

...

[15]

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

[16]

Angela Go, Michael Stonebraker, Carol Williams: An Approach to Implementing a Geo-Data System. Data Bases for Interactive Design 1975: 67-77 BibTeX

[17]

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

[18]

...

Referenced by

1. Wojtek Kozaczynski, Leszek Lilien: An Extended Entity-Relationship (E²R) Database Specification and its Automatic Verification and Transformation into the Logical Relational Design. ER 1987: 533-549
2. Ole Oren: Integrity Constraints in the Conceptual Schema Language SYSDOC. ER 1985: 288-294