Consistency Checking in Complex Object Database Schemata with Integrity Constraints.

@article{DBLP:journals/tkde/BeneventanoBLS98,
  author    = {Domenico Beneventano and
               Sonia Bergamaschi and
               Stefano Lodi and
               Claudio Sartori},
  title     = {Consistency Checking in Complex Object Database Schemata with
               Integrity Constraints},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {10},
  number    = {4},
  year      = {1998},
  pages     = {576-598},
  ee        = {db/journals/tkde/BeneventanoBLS98.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

Online Edition: IEEE Computer Society DL

References

[1]

Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987) 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]

Paolo Atzeni, Douglas Stott Parker Jr.: Formal Properties of Net-Based Knowledge Representation Schemes. Data Knowl. Eng. 3: 137-147(1988) BibTeX

[5]

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

[6]

...

[7]

François Bancilhon, Claude Delobel, Paris C. Kanellakis (Eds.): Building an Object-Oriented Database System, The Story of O2. Morgan Kaufmann 1992, ISBN 1-55860-169-4
Contents BibTeX

[8]

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

[9]

Howard W. Beck, Sunit K. Gala, Shamkant B. Navathe: Classification as a Query Processing Technique in the CANDIDE Semantic Data Model. ICDE 1989: 572-581 BibTeX

[10]

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

[11]

...

[12]

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

[13]

...

[14]

...

[15]

...

[16]

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

[17]

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

[18]

Elisa Bertino, Lorenzo Martino: Object-Oriented Database Systems. Addison-Wesley 1993, ISBN 0-201-62439-7
Contents BibTeX

[19]

Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 BibTeX

[20]

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

[21]

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

[22]

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

[23]

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

[24]

...

[25]

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

[26]

Lois M. L. Delcambre, Karen C. Davis: Automatic Validation of Object-Oriented Database Structures. ICDE 1989: 2-9 BibTeX

[27]

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

[28]

Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. IJCAI 1993: 704-709 BibTeX

[29]

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti-Spaccamela: The Complexity of Existential Quantification in Concept Languages. Artif. Intell. 53(2-3): 309-327(1992) BibTeX

[30]

R. G. G. Cattell: The Object Database Standard: ODMG-93 (Release 1.1). Morgan Kaufmann 1994
BibTeX

[31]

Timothy W. Finin, David Silverman: Interactive Classification as a Knowledge Aquisition Tool. Expert Database Workshop 1984: 79-90 BibTeX

[32]

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

[33]

...

[34]

Philipp Hanschke: Specifying Role Interaction in Concept Languages. KR 1992: 318-329 BibTeX

[35]

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

[36]

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

[37]

Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995) BibTeX

[38]

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

[39]

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

[40]

Nachum Dershowitz, Zohar Manna: Proving Termination with Multiset Orderings. Commun. ACM 22(8): 465-476(1979) BibTeX

[41]

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

[42]

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

[43]

...

[44]

...

[45]

Daniel J. Rosenkrantz, Harry B. Hunt III: Processing Conjunctive Predicates and Queries. VLDB 1980: 64-72 BibTeX

[46]

Manfred Schmidt-Schauß, Gert Smolka: Attributive Concept Descriptions with Complements. Artif. Intell. 48(1): 1-26(1991) BibTeX

[47]

...

[48]

...

[49]

...

[50]

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

[51]

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

Referenced by

1. Sonia Bergamaschi, Silvana Castano, Maurizio Vincini: Semantic Integration of Semistructured and Structured Data Sources. SIGMOD Record 28(1): 54-59(1999)