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}
}
BibTeX
CDROM Version: Load the CDROM "Volume 2 Issue 1, ER 1979-1998" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
References
- [1]
- ...
- [2]
- ...
- [3]
- Peter P. Chen:
A Preliminary Framework for Entity-Relationship Models.
ER 1981: 19-28 BibTeX
- [4]
- ...
- [5]
- Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach.
ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
- [6]
- ...
- [7]
- ...
- [8]
- Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch:
On Hierarchies of Abstract Data Types.
Acta Inf. 20: 1-33(1983) BibTeX
- [9]
- ...
Referenced by
- James B. Behm, Toby J. Teorey:
Relative Constraints in ER Data Models.
ER 1993: 46-59
- James P. Davis, Ronald D. Bonnell:
Modeling Semantic Constraints with Logic in the EARL Data Model.
ICDE 1989: 226-233
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
ER 1985 Proceedings: Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:09:41 2009