ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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

Jacques Cazin, René Jacquart, P. Michel: The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic. ER 1985: 216-223
@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

CDROM Version: Load the CDROM "Volume 2 Issue 1, ER 1979-1998" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

References

[1]
...
[2]
...
[3]
Peter P. Chen: A Preliminary Framework for Entity-Relationship Models. ER 1981: 19-28 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
...
[5]
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
...
[7]
...
[8]
Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch: On Hierarchies of Abstract Data Types. Acta Inf. 20: 1-33(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
...

Copyright © Tue Mar 16 02:06:35 2010 by Michael Ley (ley@uni-trier.de)