Incorporating methods and encapsulation into deductive object-oriented database languages

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

Volumn 1460, Issue , 1998, Pages 892-902

  Liu, Mengchi ^a  

^a UNIVERSITY OF REGINA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EXPERT SYSTEMS; SEMANTICS;

BEHAVIORAL INHERITANCE; CLASS HIERARCHIES; COMPLEX OBJECTS; DEDUCTIVE OBJECT ORIENTED DATABASE; IMPORTANT OBJECT; LOGIC-BASED SEMANTICS; OBJECT IDENTITY; RULE-BASED METHOD;

OBJECT-ORIENTED DATABASES;

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

References (22)

1. S. Abiteboul and S. Grumbach. COL: A logic-based language for complex objects. ACM TODS, 16(1):1-30, 1991.
2. S. Abiteboul and P.C. Kanellakis. Object identity as a query language primitive. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 159-173, Portland, Oregon, 1989.
3. S. Abiteboul, G. Lausen, H. Uphoff, and E. Waller. Methods and miles. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 32-41, Washington, D.C., 1993.
4. K.R. Apt, H.A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 89-148. Morgan Kaufmann Publishers, 1988.
5. R. Bal and H. Balsters. A deductive and typed object-oilented language. In S. Ceil, K. Tanaka, and S. Tsur, editors, Proceedings of the International Conference on Deductive and Object-Oriented Databases, pages 340-359, Phoenix, Arizona, USA, 1993. Spilnger-Verlag LNCS 760.
6. M. L. Barja, A. A. A. Fernandes, N. W. Paton, M. H. Williams, A. Dirm, and A. I. Abdelmoty. Design and implementation of ROCK & ROLL: a deductive object-oriented database system. Information Systems, 20(3):185-211, 1995.
7. C. Beeri, S. Naqvi, O. Shmueli, and S. Tsur. Set construction in a logic database language. J. Logic Programming, 10(3,4):181-232, 1991.
8. E. Bertino and D. Montesi. Towards a logical object-oilented programming language for databases. In Proceedings of the International Conference on Extending Database Technology, pages 168-183, Vienna, Austria, 1992. Springer-Verlag.
9. A.J. Bonnet and M. Kifer. Transaction logic programming. In Proceedings of the International Conference on Logic Programming, pages 257-279, Budapest, Hungary, 1993. MIT Press.
10. A. Borgida. Modeling class hierarchies with contradictions. In Proceedings of the A CM SIGMOD International Conference on Management of Data, pages 433-443, Chicago, Illinois, 1988.
11. P. Cacace, S. Ceil, S. Crepi-Reghizzi, L. Tanca, and R. Zicari. Integrating objectoriented data modelling with a rule-based programming paradigm. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 225-236, 1990.
12. O. Deux et al. The O2 system. Communications of the ACM, 34(10):35-48, 1991.
13. G. Dobbie and R. Topor. On the Declarative and Procedural Semantics of Deductive Object-Oriented Systems. Journal of Intelligent Information System, 4(2):193-219, 1995.
14. M. Kifer. Deductive and object data language: A quest for integration. In T. W. Ling, A. O. Mendelzon, and L. Vieille, editors, Proceedings of the International Conference on Deductive and Object-Oriented Databases, pages 187-212, Singapore, 1995. Spilnger-Verlag LNCS 1013.
15. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and framebased languages. Journal of ACM, 42(4):741-843, 1995.
16. M. Kifer and J. Wu. A logic for programming with complex objects. J. Computer and System Sciences, 47(1):77-120, 1993.
17. M. Liu. ROL: A deductive object base language. Information Systems, 21(5):431-457, 1996.
18. Y. Lou and M. Ozsoyoglu. LLO: A deductive language with methods and method inheritance. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 198-207, Denver, Colorado, 1991.
19. D. Maier. A logic for objects. Technical Report CS/E-86-012, Oregon Graduate Center, Beaverton, Oregon, 1986.
20. C. Moss. Prolog++247 Addison-Wesley, 1994.
21. Shamim Naqvi and Shalom Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.
22. D. Srivastava, R. Ramakrishnan, D. Srivastava, and S. Sudarshan. Coral++: Adding object-orientation to a logic database language. In Proceedings of the International Conference on Very Large Data Bases, pages 158-170, Dublin, Ireland, 1993. Morgan Kaufmarm Publishers, Inc.