Consistency Checking in Complex Object Database Schemata with Integrity Constraints.

@inproceedings{DBLP:conf/dbpl/BeneventanoBLS95,
  author    = {Domenico Beneventano and
               Sonia Bergamaschi and
               Stefano Lodi and
               Claudio Sartori},
  editor    = {Paolo Atzeni and
               Val Tannen},
  title     = {Consistency Checking in Complex Object Database Schemata with
               Integrity Constraints},
  booktitle = {Database Programming Languages (DBPL-5), Proceedings of the Fifth
               International Workshop on Database Programming Languages, Gubbio,
               Umbria, Italy, 6-8 September 1995},
  publisher = {Springer},
  series    = {Electronic Workshops in Computing},
  year      = {1995},
  isbn      = {3-540-76086-5},
  pages     = {4},
  ee        = {db/conf/dbpl/BeneventanoBLS95.html},
  crossref  = {DBLP:conf/dbpl/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

References

[1]

Serge Abiteboul, Anthony J. Bonner: Objects and Views. SIGMOD Conference 1991: 238-247 BibTeX

[2]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX

[3]

Paolo Atzeni (Ed.): LOGIDATA+: Deductive Databases with Complex Objects. Lecture Notes in Computer Science Vol. 701 Springer 1993, ISBN 3-540-56974-X
Contents BibTeX

[4]

Franz Baader, Philipp Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages. IJCAI 1991: 452-457 BibTeX

[5]

Giuseppe Di Battista, Maurizio Lenzerini: Deductive Entity-Relationship Modeling. IEEE Trans. Knowl. Data Eng. 5(3): 439-450(1993) BibTeX

[6]

Domenico Beneventano, Sonia Bergamaschi: Subsumption for Complex Object Data Models. ICDT 1992: 357-375 BibTeX

[7]

...

[8]

Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori: Taxonomic Reasoning with Cycles in LOGIDATA+. LOGIDATA+: Deductive Databases with Complex Objects 1993: 105-128 BibTeX

[9]

...

[10]

Sonia Bergamaschi, Bernhard Nebel: Acquisition and validation of complex object database schemata supporting multiple inheritance. Appl. Intell. 4(2): 185-203(1994) BibTeX

[11]

Sonia Bergamaschi, Claudio Sartori: On Taxonomic Reasoning in Conceptual Design. ACM Trans. Database Syst. 17(3): 385-422(1992) BibTeX

[12]

Ronald J. Brachman, James G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2): 171-216(1985) BibTeX

[13]

François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505 BibTeX

[14]

Diego Calvanese, Maurizio Lenzerini: Making Object-Oriented Schemas More Expressive. PODS 1994: 243-254 BibTeX

[15]

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi: A Unified Framework for Class-Based Representation Formalisms. KR 1994: 109-120 BibTeX

[16]

Clement T. Yu, Wei Sun: Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization. IEEE Trans. Knowl. Data Eng. 1(3): 362-375(1989) BibTeX

[17]

Neil Coburn, Grant E. Weddell: Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies. DOOD 1991: 312-331 BibTeX

[18]

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages. KR 1991: 151-162 BibTeX

[19]

Hervé Gallaire, Jean-Marie Nicolas: Logic and Databases: An Assessment. ICDT 1990: 177-186 BibTeX

[20]

Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß: Subsumption Algorithms for Concept Description Languages. ECAI 1990: 348-353 BibTeX

[21]

Michael Kifer, Won Kim, Yehoshua Sagiv: Querying Object-Oriented Databases. SIGMOD Conference 1992: 393-402 BibTeX

[22]

C. Kung: A Tableaux Approach for Consistency Checking. TFAIS 1985: 189-207 BibTeX

[23]

Christophe Lécluse, Philippe Richard: Modeling Complex Structures in Object-Oriented Databases. PODS 1989: 360-368 BibTeX

[24]

Christophe Lécluse, Philippe Richard: The O2 Database Programming Language. VLDB 1989: 411-422 BibTeX

[25]

Rainer Manthey: Satisfiability of Integrity Constraints: Reflections on a Neglected Problem. FMLDO 1990: 169-179 BibTeX

[26]

Rainer Manthey, François Bry: SATCHMO: A Theorem Prover Implemented in Prolog. CADE 1988: 415-434 BibTeX

[27]

...

[28]

...

[29]

Martin F. van Bommel, Grant E. Weddell: Reasoning About Equations and Functional Dependencies on Complex Objects. IEEE Trans. Knowl. Data Eng. 6(3): 455-469(1994) BibTeX

[30]

Grant E. Weddell: Reasoning about Functional Dependencies Generalized for Semantic Data Models. ACM Trans. Database Syst. 17(1): 32-64(1992) BibTeX