Covering and Disjointness Constraints in Type Networks.

@inproceedings{DBLP:conf/icde/Lenzerini87,
  author    = {Maurizio Lenzerini},
  title     = {Covering and Disjointness Constraints in Type Networks},
  booktitle = {Proceedings of the Third International Conference on Data Engineering,
               February 3-5, 1987, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1987},
  isbn      = {0-8186-0762-9},
  pages     = {386-393},
  ee        = {db/conf/icde/Lenzerini87.html},
  crossref  = {DBLP:conf/icde/87},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1987 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-6 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

References

[1]

Paolo Atzeni, Douglas Stott Parker Jr.: Formal Properties of Net-Based Knowledge Representation Schemes. ICDE 1986: 700-706 BibTeX

[2]

Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. IJCAI 1985: 532-539 BibTeX

[3]

Ronald J. Brachman, Hector J. Levesque: The Tractability of Subsumption in Frame-Based Description Languages. AAAI 1984: 34-37 BibTeX

[4]

Michael L. Brodie: On the Development of Data Models. On Conceptual Modelling (Intervale) 1982: 19-47 BibTeX

[5]

Stephen A. Cook: The Complexity of Theorem-Proving Procedures. STOC 1971: 151-158 BibTeX

[6]

M. R. Garey, David S. Johnson: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979, ISBN 0-7167-1044-7
BibTeX

[7]

David J. Israel, Ronald J. Brachman: Some Remarks on the Semantics of Representation Languages. On Conceptual Modelling (Intervale) 1982: 119-146 BibTeX

[8]

...

[9]

...

[10]

...

[11]

...

[12]

John Mylopoulos, Hector J. Levesque: An Overview of Knowledge Representation. On Conceptual Modelling (Intervale) 1982: 3-17 BibTeX

[13]

James G. Schmolze, Thomas A. Lipkis: Classification in the KL-ONE Knowledge Representation System. IJCAI 1983: 330-332 BibTeX

[14]

...

[15]

Marc B. Vilain: The Restricted Language Architecture of a Hybrid Representation System. IJCAI 1985: 547-551 BibTeX

Referenced by

1. Antoni Olivé, Dolors Costal, Maria-Ribera Sancho: Entity Evolution in ISA Hierarchies. ER 1999: 62-80
2. Anastasia Analyti, Nicolas Spyratos, Panos Constantopoulos: Property Covering: A Powerful Construct for Schema Derivations. ER 1997: 271-284
3. Elke A. Rundensteiner, Lubomir Bic, Jonathan P. Gilbert, Meng-Lai Yin: Set Restrictions for Semantic Groupings. IEEE Trans. Knowl. Data Eng. 6(2): 193-204(1994)
4. Diego Calvanese, Maurizio Lenzerini: On the Interaction Between ISA and Cardinality Constraints. ICDE 1994: 204-213
5. Giuseppe Di Battista, Maurizio Lenzerini: Deductive Entity-Relationship Modeling. IEEE Trans. Knowl. Data Eng. 5(3): 439-450(1993)
6. Dimitri Theodoratos: Monadic Databases with Equality. MFDBS 1991: 74-88
7. Elke A. Rundensteiner, Lubomir Bic, Jonathan P. Gilbert, Meng-Lai Yin: A Semantic Integrity Framework: Set Restrictions for Semantic Groupings. ICDE 1991: 710-717
8. Elke A. Rundensteiner, Lubomir Bic, Jonathan P. Gilbert, Meng-Lai Yin: Restricting Is-A Related Groupings Using Object Equivalence. DASFAA 1991: 136-145
9. Giuseppe Di Battista, Maurizio Lenzerini: A Deductive Method for Entity-Relationship Modeling. VLDB 1989: 13-21
10. Giuseppe Di Battista, Maurizio Lenzerini: Object Modeling Based on Logic. ER 1988: 207-225
11. Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987)
12. Maurizio Lenzerini: Class Hierarchies and Their Complexity. DBPL 1987: 43-65
13. Paolo Atzeni, Douglas Stott Parker Jr.: Algorithms for Set Containment Inference. DBPL 1987: 117-127