A Deductive Method for Entity-Relationship Modeling.
Giuseppe Di Battista, Maurizio Lenzerini:
A Deductive Method for Entity-Relationship Modeling.
VLDB 1989: 13-21@inproceedings{DBLP:conf/vldb/BattistaL89,
author = {Giuseppe Di Battista and
Maurizio Lenzerini},
editor = {Peter M. G. Apers and
Gio Wiederhold},
title = {A Deductive Method for Entity-Relationship Modeling},
booktitle = {Proceedings of the Fifteenth International Conference on Very
Large Data Bases, August 22-25, 1989, Amsterdam, The Netherlands},
publisher = {Morgan Kaufmann},
year = {1989},
isbn = {1-55860-101-5},
pages = {13-21},
ee = {db/conf/vldb/BattistaL89.html},
crossref = {DBLP:conf/vldb/89},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
We present a simple entity-relationship-oriented model, which essentially includes the notion of class, together with different types of relations among classes, such as is-a, part-of, and disjointness.
We define the semantics of the model in terms of first order logic, and presenta sound, complete, and efficient inference algorithm for such a model.
We argue that our model and the associated inference capabilities provide a suitable formal basis for designing an effective environment supporting conceptual modeling.
Copyright © 1989 by the VLDB Endowment.
Permission to copy without fee all or part of this material is granted provided that the copies are not made or
distributed for direct commercial advantage, the VLDB
copyright notice and the title of the publication and
its date appear, and notice is given that copying
is by the permission of the Very Large Data Base
Endowment. To copy otherwise, or to republish, requires
a fee and/or special permission from the Endowment.
Online Paper
CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Peter M. G. Apers, Gio Wiederhold (Eds.):
Proceedings of the Fifteenth International Conference on Very Large Data Bases, August 22-25, 1989, Amsterdam, The Netherlands.
Morgan Kaufmann 1989, ISBN 1-55860-101-5
BibTeX
References
- [Am86]
- Hiroshi Arisawa, Takao Miura:
On the Properties of Extended Inclusion Dependencies.
VLDB 1986: 449-456 BibTeX
- [AS87]
- Paolo Atzeni, Douglas Stott Parker Jr.:
Set Containment Inference.
ICDT 1986: 73-90 BibTeX
- [BLN86]
- Carlo Batini, Maurizio Lenzerini, Shamkant B. Navathe:
A Comparative Analysis of Methodologies for Database Schema Integration.
ACM Comput. Surv. 18(4): 323-364(1986) BibTeX
- [CFP84]
- Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou:
Inclusion Dependencies and Their Interaction with Functional Dependencies.
J. Comput. Syst. Sci. 28(1): 29-59(1984) BibTeX
- [CAVI83]
- Marco A. Casanova, Vânia Maria Ponte Vidal:
Towards a Sound View Integration Methodology.
PODS 1983: 36-47 BibTeX
- [CE83]
- ...
- [CV85]
- Ashok K. Chandra, Moshe Y. Vardi:
The Implication Problem for Functional and Inclusion Dependencies is Undecidable.
SIAM J. Comput. 14(3): 671-677(1985) BibTeX
- [CL73]
- ...
- [DL89]
- ...
- [HK87]
- Richard Hull, Roger King:
Semantic Database Modeling: Survey, Applications, and Research Issues.
ACM Comput. Surv. 19(3): 201-260(1987) BibTeX
- [KCV83]
- Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi:
Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract).
STOC 1983: 264-277 BibTeX
- [Le87a]
- Maurizio Lenzerini:
Covering and Disjointness Constraints in Type Networks.
ICDE 1987: 386-393 BibTeX
- [Le87b]
- Maurizio Lenzerini:
Class Hierarchies and Their Complexity.
DBPL 1987: 43-65 BibTeX
- [LN87]
- Maurizio Lenzerini, Paolo Nobili:
On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata.
VLDB 1987: 147-154 BibTeX
- [MZ86]
- David A. McAllester, Ramin Zabih:
Boolean Classes.
OOPSLA 1986: 417-423 BibTeX
- [Me64]
- ...
- [TYF86]
- Toby J. Teorey, Dongqing Yang, James P. Fry:
A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model.
ACM Comput. Surv. 18(2): 197-222(1986) BibTeX
- [UI87]
- Jeffrey D. Ullman:
Database Theory: Past and Future.
PODS 1987: 1-10 BibTeX
Referenced by
- Giuseppe Santucci, Carlo Batini, Giuseppe Di Battista:
Multilevel Schema Integration.
ER 1993: 327-338
- Sonia Bergamaschi, Claudio Sartori:
On Taxonomic Reasoning in Conceptual Design.
ACM Trans. Database Syst. 17(3): 385-422(1992)
- Grant E. Weddell, Neil Coburn:
A Theory of Specialization Constraints for Complex Objects.
ICDT 1990: 229-244
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
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:45:39 2009