MOLOC: Using Prolog for Conceptual Modelling.

@inproceedings{DBLP:conf/er/Johannesson90,
  author    = {Paul Johannesson},
  editor    = {Hannu Kangassalo},
  title     = {MOLOC: Using Prolog for Conceptual Modelling},
  booktitle = {Proceedings of the 9th International Conference on Entity-Relationship
               Approach (ER'90), 8-10 October, 1990, Lausanne, Switzerland},
  publisher = {ER Institute},
  year      = {1990},
  pages     = {301-314},
  ee        = {db/conf/er/Johannesson90.html},
  crossref  = {DBLP:conf/er/90},
  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

[AAIS88]

...

[Bubenko84]

...

[Chen76]

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

[Clocksin84]

W. F. Clocksin, Chris Mellish: Programming in Prolog, 2nd Edition. Springer 1984
BibTeX

[DES89]

...

[Elmasri85]

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

[Eriksson90]

...

[Furtado86]

...

[Gallaire84]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[Hagelstein88]

...

[ISO82]

...

[Hammer81]

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

[Hull87]

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

[Kerschberg89]

Larry Kerschberg, Richard Baum, J. Hung: KORTEX: An Expert Database System Shell for a Knowledge-Based Enity Relationship Model. ER 1989: 255-268 BibTeX

[Kung85]

C. Kung: A Tableaux Approach for Consistency Checking. TFAIS 1985: 189-207 BibTeX

[Lloyd87]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[Meyer89]

John-Jules Ch. Meyer, Hans Weigand, Roel Wieringa: A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989: 347-366 BibTeX

[Sadri88]

Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362 BibTeX

[Sterling87]

Leon Sterling, Ehud Y. Shapiro: The Art of Prolog - Advanced Programming Techniques. MIT Press 1986, ISBN 0-262-19250-0
BibTeX

[Weigand85]

Hans Weigand: Conceptual Models in Prolog. DS-1 1985: 59-69 BibTeX

Referenced by

1. Joan Peckham, Fred J. Maryanski, Steven A. Demurjian: Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema. IEEE Trans. Knowl. Data Eng. 8(3): 503-507(1996)
2. Paul Johannesson: A Logic Based Approach to Schema Integration. ER 1991: 147-161
3. Martin Gogolla, Bernd Meyer, Gerd Westerman: Drafting Extended Entity-Relationship Schemas with QUEER. ER 1991: 561-585