Deductive Object Oriented Schemas.

@inproceedings{DBLP:conf/er/Theodoratos96,
  author    = {Dimitri Theodoratos},
  editor    = {Bernhard Thalheim},
  title     = {Deductive Object Oriented Schemas},
  booktitle = {Conceptual Modeling - ER'96, 15th International Conference on
               Conceptual Modeling, Cottbus, Germany, October 7-10, 1996, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1157},
  year      = {1996},
  isbn      = {3-540-61784-1},
  pages     = {58-72},
  ee        = {db/conf/er/Theodoratos96.html},
  crossref  = {DBLP:conf/er/96},
  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-1 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, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987) BibTeX

[2]

Serge Abiteboul, Paris C. Kanellakis: The Two Facets of Object-Oriented Data Models. IEEE Data Eng. Bull. 14(2): 3-7(1991) BibTeX

[3]

Hiroshi Arisawa, Takao Miura: On the Properties of Extended Inclusion Dependencies. VLDB 1986: 449-456 BibTeX

[4]

William Ward Armstrong: Dependency Structures of Data Base Relationships. IFIP Congress 1974: 580-583 BibTeX

[5]

Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik: The Object-Oriented Database System Manifesto. DOOD 1989: 223-240 BibTeX

[6]

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

[7]

Paolo Atzeni, Douglas Stott Parker Jr.: Set Containment Inference and Syllogisms. Theor. Comput. Sci. 62(1-2): 39-65(1988) BibTeX

[8]

Paolo Atzeni, Douglas Stott Parker Jr.: Algorithms for Set Containment Inference. DBPL 1987: 117-127 BibTeX

[9]

Giorgio Ausiello, Alessandro D'Atri, Domenico Saccà: Graph Algorithms for Functional Dependency Manipulation. J. ACM 30(4): 752-766(1983) BibTeX

[10]

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

[11]

Catriel Beeri, Philip A. Bernstein: Computational Problems Related to the Design of Normal Form Relational Schemas. ACM Trans. Database Syst. 4(1): 30-59(1979) BibTeX

[12]

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

[13]

...

[14]

...

[15]

Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: Updating Logical Databases. Advances in Computing Research 3: 1-18(1986) BibTeX

[16]

Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 BibTeX

[17]

Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX

[18]

Paris C. Kanellakis, Christophe Lécluse, Philippe Richard: Introduction to the Data Model. Building an Object-Oriented Database System, The Story of O2 1992: 61-76 BibTeX

[19]

Henry A. Kautz, Michael J. Kearns, Bart Selman: Horn Approximations of Empirical Data. Artif. Intell. 74(1): 129-145(1995) BibTeX

[20]

Maurizio Lenzerini: Class Hierarchies and Their Complexity. DBPL 1987: 43-65 BibTeX

[21]

Bernhard Nebel: Belief Revision and Default Reasoning: Syntax-Based Approaches. KR 1991: 417-428 BibTeX

[22]

Dimitri Theodoratos: Monadic Databases with Equality. MFDBS 1991: 74-88 BibTeX

[23]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX

Referenced by

1. James Bailey, Guozhu Dong: Decidability of First-Order Logic Queries over Views. ICDT 1999: 83-99