A Deductive Method for Entity-Relationship Modeling.

Giuseppe Di Battista, Maurizio Lenzerini: A Deductive Method for Entity-Relationship Modeling. VLDB 1989: 13-21
  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,}


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

ACM SIGMOD Anthology

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


Hiroshi Arisawa, Takao Miura: On the Properties of Extended Inclusion Dependencies. VLDB 1986: 449-456 BibTeX
Paolo Atzeni, Douglas Stott Parker Jr.: Set Containment Inference. ICDT 1986: 73-90 BibTeX
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
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
Marco A. Casanova, Vânia Maria Ponte Vidal: Towards a Sound View Integration Methodology. PODS 1983: 36-47 BibTeX
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
Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX
Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi: Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract). STOC 1983: 264-277 BibTeX
Maurizio Lenzerini: Covering and Disjointness Constraints in Type Networks. ICDE 1987: 386-393 BibTeX
Maurizio Lenzerini: Class Hierarchies and Their Complexity. DBPL 1987: 43-65 BibTeX
Maurizio Lenzerini, Paolo Nobili: On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata. VLDB 1987: 147-154 BibTeX
David A. McAllester, Ramin Zabih: Boolean Classes. OOPSLA 1986: 417-423 BibTeX
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
Jeffrey D. Ullman: Database Theory: Past and Future. PODS 1987: 1-10 BibTeX

Referenced by

  1. Giuseppe Santucci, Carlo Batini, Giuseppe Di Battista: Multilevel Schema Integration. ER 1993: 327-338
  2. Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992)
  3. Grant E. Weddell, Neil Coburn: A Theory of Specialization Constraints for Complex Objects. ICDT 1990: 229-244
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:45:39 2009