Deductive object oriented schemas

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1157 LNCS, Issue , 1996, Pages 58-72

  Theodoratos, Dimitri ^a  

^a UNIVERSITY OF IOANNINA   (Greece)

Author keywords

Axiomatization; Consistency; Deduction; First order theory; Object class structures

Indexed keywords

SEMANTICS;

AXIOMATIZATION; CONSISTENCY; DEDUCTION; FIRST ORDER THEORIES; OBJECT CLASS;

OBJECT-ORIENTED DATABASES;

EID: 84899856365     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0019915     Document Type: Conference Paper

References (23)

1. S. Abiteboul and R. Hull. IFO: A formal semantic database model. ACM Trans. Database Systems, 12(3):525-565, 1987.
2. S. Abiteboul and P. C. Kanellakis. The two facets of object-oriented data models. Data ~4 Knowledge Engineering, 14(2):3-7, 1991.
3. H. Arisawa and T. Miura. On the properties of extended inclusion dependencies. In Proc. of Intl. Conf. on Very Large Data Bases, pages 449 -456, 1986.
4. W. W. Armstrong. Dependency structures of database relationships. In Proc. IFIP 73, North Holland, Amsterdam, pages 580-583, 1974.
5. M. Atkinson, D. DeWitt, D. Maier, F. Bancilhon, K. Dittrich, and S. Zdonik. The object-oriented database system manifesto. In Proc. of 1st Intl. Conf. on Deductive and Object Oriented Databases, pages 40-57, 1989.
6. P. Atzeni and D. S. Parker. Formal properties of net-based knowledge represenation schemes. Data 4 Knowledge Engineering, 3:137-147, 1988.
7. P. Atzeni and D. S. Parker. Set containment inference and syllogisms. Theoretical Computer Science, 62:39-65, 1988.
8. P. Atzeni and D. S. Parker. Algorithms for set containment inference. In F. Bancilhon and P. Buneman, editors, Advances in Database Programming Languages, pages 43-65. ACM Press, Frontier Series, 1990.
9. G. Ausiello, A. D'Atri, and D. Sacch. Graph algorithms for functional dependency manipulation. Jour. of the ACM, 30(4):752-766, Oct. 1983.
10. G. D. Battista and M. Lenzerini. Deductive entity relationship modeling. IEEE Transactions on Knowledge and Data Engineering, 5(3):439-450, 1993.
11. C. Beeri and P. Berstein. Computational problems related to the design of normal form relational schemas. ACM Trans. Database Syst, 4(1):30-59, Mar 1979.
12. D. Calvanese and M. Lenzerini. Making object-oriented schemas more expressive. In Proe. of the Intl. Conf. on Principles of Database Systems, pages 243-254, 1994.
13. C.-L. Chang and R. C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973.
14. S. B. Dreben and D. W. Goldfarb. The Decision Problem: Solvable Classes of Quantificational formulas. Addison-Wesley, Reading, MA, 1979.
15. R. Fagin, G. M. Kuper, J. Ullman, and M. Vardi. Updating logical databases. In P. Kanellakis and F. Preparata, editors, Advances in computing Research, volume 3, pages 1-18. JAI Press, Greenwhich, CT, 1986.
16. R. Fagin, J. Ullman, and M. Vardi. On the semantics of updates in databases. In Proc. Second ACM Symp. on Principles of Database Systems, Atlanta, GA, pages 352-365, 1983.
17. R. Hull and R. King. Semantic Database Modeling: Survey, Applications and Research issues. ACM Computing Surveys, 19(3):201-260, 1987.
18. P. Kanellakis, C. Lcluse, and P. Richard. Introduction to the data model. In F. Bancilhon, C. Delobel, and P. Kanellakis, editors, Building an Object Oriented Database system, the story of 02. Morgan Kaufmann Publishers, 1992.
19. H. A. Kautz, M. J. Kearns, and B. Selman. Horn approximations of empirical data. Artificial Intelligence, 74(1), mar 1995.
20. M. Lenzerini. Class hierachies and their complexity. In F. Bancilhon and P. Buneman, editors, Advances in Database Programming Languages, pages 43-65. ACM Press, Frontier Series, 1990.
21. B. Nebel. Belief revision ar/d default reasoning: syntax based approaches. In Proc. of the Second Intl. Conf. on Principles of Knowledge Representation and Reasoning, pages 417-428, 1991.
22. D. Theodoratos. Monadic databases with equality. In Proc. of the Intl. Syrup. on Mathematical Fundamentals of Database and Knowledge Base Systems, pages 74 88. Springer-Verlag, LNCS 495, 1991.
23. J. D. Ullman. Principles o/Database and Knowledge-Base Systems, volume 2. Computer Science Press, 1989.