ROL: A deductive object base language

Information Systems

Volumn 21, Issue 5, 1996, Pages 431-457

  Liu, Mengchi ^a  

^a UNIVERSITY OF REGINA   (Canada)

Author keywords

Deductive Databases; Deductive Object Oriented Databases; Fixpoint Semantics; Logic Programming; Minimal Model Semantics; Object Oriented Databases

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; TESTING;

DEDUCTIVE OBJECT ORIENTED DATABASE; FIXPOINT SEMANTICS; MINIMAL MODEL SEMANTICS; OBJECT ORIENTED DATABASE;

DATABASE SYSTEMS;

EID: 0030198052     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/0306-4379(96)84500-5     Document Type: Article

References (37)

1. S. Abiteboul. Towards a deductive object-oriented database language. Data and Knowledge Engineering, 5(2):263-287 (1990).
2. S. Abiteboul and S. Grumbach. COL: A logic-based language for complex objects. ACM TODS, 16(1):1-30 (1991).
3. S. Abiteboul and R. Hull. IFO: A formal semantic database model. ACM Trans. on Database Systems, 12(4):525-565 (1987).
4. S. Abiteboul and R. Hull. Data functions, datalog and negation. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pp. 143-153, Chicago, Illinois (1988).
5. S. Abiteboul and P. C. Kanellakis. Object identity as a query language primitive. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pp. 159-173, Portland, Oregon (1989).
6. S. Abiteboul, G. Lausen, H. Uphoff, and E. Waller. Methods and rules. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pp. 32-41, Washington, D.C. (1993).
7. H. Ait-Kaci and R. Nasr. LOGIN: A logic programming language with built-in inheritance. J. Logic Programming, 3(3):198-215 (1986).
8. 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, pp. 89-148. Morgan Kaufmann Publishers (1988).
9. M. P. Atkinson and O. P. Buneman. Types and persistence in database programming languages. ACM Computing Surveys, 19(2):105-190 (1987).
10. R. Bal and H. Balsters. A deductive and typed object-oriented language. In S. Ceri, K. Tanaka, and S. Tsur, editors, Deductive and Object-Oriented Databases, pp. 340-359, Phoenix, Arizona, USA. Springer-Verlag LNCS 760 (1993).
11. F. Bancilhon and S. Khoshafian. A calculus for complex objects. J. Computer and System Sciences, 38(2):326-340 (1989).
12. M. L. Barja, A. A. A. Fernandes, N. W. Paton, M. H. Williams, A. Dinn, and A. I. Abdelmoty. Design and implementation of ROCK & ROLL: a deductive object-oriented database system. Information Systems, 20(3):185-211 (1995).
13. 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).
14. E. Bertino and D. Montesi. Towards a logical object-oriented programming language for databases. In Proc. Intl. Conf. on Extending Database Technology, pp. 168-183, Vienna, Austria. Springer-Verlag (1992).
15. O. P. Buneman, S. B. Davidson, and A. Watters. A semantics for complex objects and approximate answers. J. Computer and System Sciences, 43(1):170-218 (1991).
16. F. Cacace, S. Ceri, S. Crepi-Reghizzi, L. Tanca, and R. Zicari. Integrating object-oriented data modelling with a rule-based programming paradigm. In Proc. Intl. Conf. on Very Large Data Bases, pp. 251-261, Brisbane, Queensland, Australia. Morgan Kaufmann Publishers, Inc. (1990).
17. M. Carey, D. DeWitt, and S. Vanderberg. A data model and query language for EXODUS. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pp. 413-423, Chicago, Illinois (1988).
18. S. Ceri, G. Gottlob, and T. Tanca. Logic Programming and Databases. Springer-Verlag (1990).
19. W. Chen and D. S. Warren. C-logic for complex objects. In Proc. ACM Symp. on Principles of Database Systems, pp. 369-378, Philadelphia, Pennsylvania (1989).
20. 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).
21. D. H. Fishman, B. B., H. P. Cate, E. C. Chow, T. Connors, J. W. Davis, N. Derrett, C. G. Hoch, W. Kent, P. Lyngbaek, B. Mahbod, M. A. Neimat, T. A. Ryan, and M. C. Shan. Iris: An object-oriented database management system. ACM Trans. on Office Information Systems, 5(1):48-69 (1987).
22. A. Heuer and P. Sander. The LIVING IN A LATTICE rule language. Data and Knowledge Engineering, 9(4):249-286 (1992).
23. H. Ishikawa, F. Suzuki, F. Kozakura, A. Makinouchi, M. Miyagishima, Y. Izumida, M. Aoshima, and Y. Yamane. The model, language, and implementation of an object-oriented multimedia knowledge base management system. ACM TODS, 18(1):1-50 (1993).
24. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of ACM, 42(4):741-843 (1995).
25. M. Kifer and J. Wu. A logic for programming with complex objects. J. Computer and System Sciences, 47(1):77-120 (1993).
26. Won Kim. Introduction to Object-Oriented Databases. The MIT Press (1990).
27. 2 database programming language. In Proc. Intl. Conf. on Very Large Data Bases, pp. 411-422, Amsterdam, The Netherlands. Morgan Kaufmann Publishers, Inc. (1989).
28. M. Liu and W. Yu. Implementation of the ROL rule-based object system. In preparation (1996).
29. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2 edition (1987).
30. Y. Lou and M. Ozsoyoglu. LLO: A deductive language with methods and method inheritance. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pp. 198-207, Denver, Colorado (1991).
31. D. Maier. A logic for objects. Technical Report CS/E-86-012, Oregon Graduate Center, Beaverton, Oregon (1986).
32. Shamim Naqvi and Shalom Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press (1989).
33. F. Pfenning, editor. Types in Logic Programming. MIT Press. (1992).
34. R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL: Control, relations and logic. In Proc. Intl. Conf. on Very Large Data Bases, pp. 238-250, Vancouver, British Columbia, Canada. Morgan Kaufmann Publishers, Inc. (1992).
35. M. Smyth. Power domains. J. Computer and System Sciences, 16(1):23-36 (1978).
36. D. Srivastava, R. Ramakrishnan, D. Srivastava, and S. Sudarshan. Coral++: Adding object-orientation to a logic database language. In Proc. Intl. Conf. on Very Large Data Bases, pp. 158-170, Dublin, Ireland. Morgan Kaufmann Publishers, Inc. (1993).
37. J.D. Ullman. Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press (1988).