Deductive Entity-Relationship Modeling.
Giuseppe Di Battista, Maurizio Lenzerini:
Deductive Entity-Relationship Modeling.
IEEE Trans. Knowl. Data Eng. 5(3): 439-450(1993)@article{DBLP:journals/tkde/BattistaL93,
author = {Giuseppe Di Battista and
Maurizio Lenzerini},
title = {Deductive Entity-Relationship Modeling},
journal = {IEEE Trans. Knowl. Data Eng.},
volume = {5},
number = {3},
year = {1993},
pages = {439-450},
ee = {db/journals/tkde/BattistaL93.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1993 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...
BibTeX
References
- [1]
- Hiroshi Arisawa, Takao Miura:
On the Properties of Extended Inclusion Dependencies.
VLDB 1986: 449-456 BibTeX
- [2]
- Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik:
The Object-Oriented Database System Manifesto.
SIGMOD Conference 1990: 395 BibTeX
- [3]
- Paolo Atzeni, Douglas Stott Parker Jr.:
Set Containment Inference and Syllogisms.
Theor. Comput. Sci. 62(1-2): 39-65(1988) BibTeX
- [4]
- Paolo Atzeni, Douglas Stott Parker Jr.:
Formal Properties of Net-Based Knowledge Representation Schemes.
Data Knowl. Eng. 3: 137-147(1988) BibTeX
- [5]
- François Bancilhon:
Object-Oriented Database Systems.
PODS 1988: 152-162 BibTeX
- [6]
- 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
- [7]
- 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
- [8]
- Marco A. Casanova, Vânia Maria Ponte Vidal:
Towards a Sound View Integration Methodology.
PODS 1983: 36-47 BibTeX
- [9]
- ...
- [10]
- 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
- [11]
- ...
- [12]
- Weidong Chen, David Scott Warren:
C-Logic of Complex Objects.
PODS 1989: 369-378 BibTeX
- [13]
- Richard Hull, Roger King:
Semantic Database Modeling: Survey, Applications, and Research Issues.
ACM Comput. Surv. 19(3): 201-260(1987) BibTeX
- [14]
- Paris C. Kanellakis, Stavros S. Cosmadakis, Moshe Y. Vardi:
Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract).
STOC 1983: 264-277 BibTeX
- [15]
- Michael Kifer, Georg Lausen:
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.
SIGMOD Conference 1989: 134-146 BibTeX
- [16]
- Michael Kifer, James Wu:
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).
PODS 1989: 379-393 BibTeX
- [17]
- Won Kim:
Object-Oriented Databases: Definition and Research Directions.
IEEE Trans. Knowl. Data Eng. 2(3): 327-341(1990) BibTeX
- [18]
- Christophe Lécluse, Philippe Richard, Fernando Vélez:
O2, an Object-Oriented Data Model.
SIGMOD Conference 1988: 424-433 BibTeX
- [19]
- Maurizio Lenzerini:
Covering and Disjointness Constraints in Type Networks.
ICDE 1987: 386-393 BibTeX
- [20]
- Maurizio Lenzerini:
Class Hierarchies and Their Complexity.
DBPL 1987: 43-65 BibTeX
- [21]
- Maurizio Lenzerini, Paolo Nobili:
On the satisfiability of dependency constraints in entity-relationship schemata.
Inf. Syst. 15(4): 453-461(1990) BibTeX
- [22]
- David A. McAllester, Ramin Zabih:
Boolean Classes.
OOPSLA 1986: 417-423 BibTeX
- [23]
- ...
- [24]
- 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
- [25]
- Jeffrey D. Ullman:
Database Theory: Past and Future.
PODS 1987: 1-10 BibTeX
Referenced by
- Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori:
Consistency Checking in Complex Object Database Schemata with Integrity Constraints.
IEEE Trans. Knowl. Data Eng. 10(4): 576-598(1998)
- Dimitri Theodoratos:
Deductive Object Oriented Schemas.
ER 1996: 58-72
- Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori:
Consistency Checking in Complex Object Database Schemata with Integrity Constraints.
DBPL 1995: 4
- Joachim Biskup, Ralf Menzel, Torsten Polle:
Transforming an Entity-Relationship Schema into Object-Oriented Database Schemas.
ADBIS 1995: 109-136
- Diego Calvanese, Maurizio Lenzerini:
Making Object-Oriented Schemas More Expressive.
PODS 1994: 243-254
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:27:45 2009