The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic.

@inproceedings{DBLP:conf/er/CazinJM85,
  author    = {Jacques Cazin and
               Ren{\'e} Jacquart and
               P. Michel},
  editor    = {Peter P. Chen},
  title     = {The F1 Formalism: An Extension of the Entity-Relationship Model
               Using the First Order Logic},
  booktitle = {Entity-Relationship Approach: The Use of ER Concept in Knowledge
               Representation, Proceedings of the Fourth International Conference
               on Entity-Relationship Approach, Chicago, Illinois, USA, 29-30
               October 1985},
  publisher = {IEEE Computer Society and North-Holland},
  year      = {1985},
  isbn      = {0-444-87951-X},
  pages     = {216-223},
  ee        = {db/conf/er/CazinJM85.html},
  crossref  = {DBLP:conf/er/85},
  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]

...

[2]

...

[3]

Peter P. Chen: A Preliminary Framework for Entity-Relationship Models. ER 1981: 19-28

[4]

...

[5]

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

[6]

...

[7]

...

[8]

Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch: On Hierarchies of Abstract Data Types. Acta Inf. 20: 1-33(1983)

[9]

...