ACM SIGMOD Anthology VLDB dblp.uni-trier.de

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}
}

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

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 ...

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
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

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

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