A Logical Foundation for Deductive Object-Oriented Databases

ACM Transactions on Database Systems

Volumn 27, Issue 1, 2002, Pages 117-151

  Liu, Mengchi ^a   Dobbie, Gillian ^b   Ling, Tok Wang ^c  

^a CARLETON UNIVERSITY   (Canada)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

^c NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Declarative semantics; Deductive databases; Nonmonotonic multiple inheritance; Object oriented databases; Rule based languages

Indexed keywords

EID: 0242387741     PISSN: 03625915     EISSN: None     Source Type: Journal    
DOI: 10.1145/507234.507237     Document Type: Article

References (36)

1. ABITEBOUL, S. AND KANELLAKIS, P. C. 1998. Object identity as a query language. J. ACM 45, 5, 798-842.
2. ABITEBOUL, S., LAUSEN, G., UPHOFF, H., AND WALLER, E. 1993. Methods and rules. In Proceedings of the ACM SIGMOD International Conference on Management of Data (Washington, D.C.). ACM, New York, pp. 32-41.
3. BAL, E. AND BALSTERS, H. 1993. A deductive and typed object-oriented language. In Proceedings of the International Conference on Deductive and Object-Oriented Databases, S. Ceri, K. Tanaka, and S. Tsur, Eds. (Phoenix, Az.). Lecture Notes in Computer Science, vol. 760. Springer-Verlag, New York, pp. 340-359.
4. BARJA, M. L., FERNANDES, A. A. A., PATON, N. W., WILLIAMS, M. H., DINN, A., AND ABDELMOTY, A. I. 1995. Design and implementation of rock & roll: A deductive object-oriented database system. Inf. Syst. 20, 3, 185-211.
5. BUGLIESI, M. AND JAMIL, H. M. 1994. A logic for encapsulation in object oriented languages. In Proceedings of International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP '94) (Madrid, Spain). Lecture Notes in Computer Science, vol. 844. Springer-Verlag New York, pp. 213-229.
6. BUTTERWORTH, P., OTIS, A., AND STEIN, J. 1991. The gemstone object database management system. Commun. ACM 34, 10, 64-77.
7. CACACE, P., CERI, S., CREPI-REGHIZZI, S., TANCA, L., AND ZICARI, R. 1990. Integrating object-oriented data modelling with a rule-based programming paradigm. In Proceedings of the ACM SIGMOD International Conference on Management of Data (Atlantic City, N.J.). ACM, New York, pp. 225- 236.
8. CATTELL, R. G. G., Ed. 1996. The Object Database Standard: ODMG-93, Release 1.2. Morgan- Kaufmann, Los Altos, Calif.
9. CATTELL, R. G. G. AND BARRY, D., Eds. 1997. The Object Database Standard: ODMG 2.0. Morgan- Kaufmann, Los Altos, Calif.
10. CHEN, W., AND WARREN, D. 1989. C-Logic for complex objects. In Proceedings of the ACM Symposium on Principles of Database Systems (Philadelphia, Pa.). ACM, New York, pp. 369-378.
11. 2. IEEE Trans. Knowl. Data Eng. 2, 1, 91-108.
12. 2 System. Commun. ACM 34, 10, 35-48.
13. DOBBIE, G. AND TOPOR, R. 1995. On the declarative and procedural semantics of deductive object- oriented systems. J. Intel. Inf. Syst. 4, 2, 193-219.
14. FISHMAN, D. H., BEECH, B., CATE, H. P., CHOW, E. C., CONNORS, T., DAVIS, J. W., DERRETT, N., HOCH, C. G., KENT, W., LYNGBAEK, P., MAHBOD, B., NEIMAT, M. A., RYAN, T. A., AND SHAN, M. C. 1987. Iris: An object-oriented database management system. ACM Trans. Office Inf. Syst. 5, 1, 48-69.
15. GELDER, A. V., ROSS, K. A., AND SCHLIPF, J. S. 1991. The well-founded semantics for general logic programs. J. ACM 38, 3, 620-650.
16. GRECO, S., LEONE, N., AND ROLLO, P. 1992. Complex: An object-oriented logic programming system. IEEE Trans. Knowl. Data Eng. 4, 4, 344-359.
17. GUERRINI, G., BERTINO, E., AND BAL, R. 1998. A formal definition of the chimera object-oriented data model. J. Int. Inf. Syst. 11, 1, 5-40.
18. HEUER, A. AND SANDER, P. 1993. The living in a lattice rule language. Data Knowl. Eng. 9, 4, 249-286.
19. neg. In Proceedings of the International Conference on Very Large Data Bases (Athens, Greece). Morgan-Kaufmann, Los Altos, Calif., pp. 46-65.
20. JAMIL, M. H. AND LAKSHMANAN, L. V. S. 1992. Orlog: A logic for semantic object-oriented models. In Proceedings of the 1st International Conference on Information and Knowledge Management (Baltimore, Md.). ACM New York, pp. 584-592.
21. KIFER, M., LAUSEN, G., AND WU, J. 1995. Logical foundations of object-oriented and frame-based languages. J. ACM 42, 4, 741-843.
22. KIFER, M. AND WU, J. 1993. A logic for programming with complex objects. J. Comput. Syst. Sci. 47, 1, 77-120.
23. KIM, W. 1990. Introduction to Object-Oriented Databases. The MIT Press, Cambridge, Mass.
24. LAMB, C., LANDIS, G., ORENSTEIN, J., AND WEINREB, D. 1991. The objectStore system. Commun. ACM 34, 10, 50-63.
25. LING, T. W. AND LEE, W. B. T. 1998. DO2: A deductive object-oriented database system. In Proceedings of the 9th International Conference on Database and Expert System Applications (DEXA '98) (Vienna, Austria). Lecture Notes in Computer Science, vol. 1460. Springer-Verlag, New York, pp. 50-59.
26. LINO, T. W. AND TEO, P. K. 1995. Object migration in ISA hierarchies. In Proceedings of the International Conference on Database Systems for Advanced Applications (DASFAA '95). World Scientific Press, Singapore, pp. 216-225.
27. LIU, M. 1996. ROL: A deductive object base language. Inf. Syst. 21, 5, 431-457.
28. Liu, M. 1998a. Incorporating methods and encapsulation into deductive object-oriented database languages. In Proceedings of the 9th International Conference on Database and Expert System Applications (DEXA '98) (Vienna, Austria). Lecture Notes in Computer Science, vol. 1460. Springer- Verlag, New York, pp. 892-902.
29. Liu, M. 1998b. Relationlog: A typed extension to Datalog with sets and tuples. J. Logic Prog. 36, 3, 271-299.
30. LIU, M. 1999. Overview of the ROL2 deductive object-oriented database system. In Proceedings of the 30th International Conference on Technology of Object-Oriented Languages & Systems (TOOLS USA '99) (Santa Barbara, Cailf.). IEEE Computer Society Press, Los Alamitos, Cailf., pp. 63-72.
31. LIU, M. AND GUO, M. 1998. ROL2: A real deductive object-oriented database language. In Proceedings of the 17th International Conference on Conceptual Modeling (ER '98) (Singapore). Lecture Notes in Computer Science, vol. 1507. Springer-Verlag, New York, pp. 302-315.
32. LOU, Y. AND OZSOYOGLU, M. 1991. LLO: A deductive language with methods and method inheritance. In Proceedings of the ACM SIGMOD International Conference on Management of Data (Denver, Colo.). ACM, New York, pp. 198-207.
33. MAKER, D. 1986. A logic for objects. Tech. Rep. CS/E-86-012. Oregon Graduate Institute, Beaverton, Ore.
34. MUMICK, I. S. AND Ross, K. A. 1993. Noodle: A language for declarative querying in an object- oriented database. In Proceedings of the International Conference on Deductive and Object- oriented Data-bases (Phoenix, Az.). S. Ceri, K. Tanaka, and S. Tsur, Eds. Lecture Notes in Computer Science, vol. 760. Springer-Verlag, New York, pp. 360-378.
35. SOLOVIEW, V. 1992. An overview of three commercial object-oriented database management systems: ONTOS, ObjectStore, O2. SIGMOD Rec. 21, 1, 93-104.
36. SRIVASTAVA, D., RAMAKRISHNAN, R., SRIVASTAVA, D., AND SUDARSHAN, S. 1993. CORAL++: Adding object-orientation to a logic database language. In Proceedings of the International Conference on Very Large Data Bases (Dublin, Ireland). Morgan-Kaufmann, Los Altos, Calif., pp. 158-170.