Deductive and object data languages: A quest for integration

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

Volumn 1013, Issue , 1995, Pages 187-212

  Kifer, Michael ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICS; LOGIC PROGRAMMING; MESSAGE PASSING; OBJECT ORIENTED PROGRAMMING; OBJECT-ORIENTED DATABASES; PROLOG (PROGRAMMING LANGUAGE); QUERY PROCESSING; SEMANTICS;

AD-HOC QUERYING; CLASSICAL LOGIC; DECLARATIVE SEMANTICS; HYBRID LANGUAGES; LOGIC-BASED LANGUAGES; OBJECT ORIENTATION; OBJECT ORIENTED PARADIGM; THEORY AND PRACTICE;

COMPUTER CIRCUITS;

EID: 84949221674     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60608-4_41     Document Type: Conference Paper

References (35)

1. S. Abiteboul and P.C. Kanellakis. Object identity as a query language primitive. In ACM SIGMOD Conference on Management of Data, pages 159-173, New York, 1989. ACM.
2. H. Aït-Kaci and R. Nasr. LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming, 3:185-215, 1986.
3. J.F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23:123-154, July 1984.
4. J.-M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. New Generation Computing, 9(4):445-473, 1991.
5. N. Arni, K. Ong, S. Tsttr, and C. Zaniolo. LDL++: A second-generation deductive database system. Submitted for publication., 1994.
6. F. Bancilhon. A logic-programming/Object-oriented cocktail. SIGMOD Record, 15(3):11-21, September 1986.
7. A.J. Bonner and M. Kifer. An overview of transaction logic. Theoretical Computer Science, 133:205-265, October 1994.
8. A.J. Bonnet and M. Kifer. Transaction logic programming (or a logic of declvmative and procedural knowledge). Technical Report CSRI-323, University of Toronto, April 1995. flp://csri.toronto.edu/csri-technical-reports/323/report.ps.Z.
9. A. Brogi, E. Lamina, and P. Mello. Objects in a logic programming framework. In A. Voronkov, editor, First Russian Conference on Logic Programming, number 592 in Lecture Notes in Artificial Inteligence, pages 102-113. Springer-Verlag, 1991.
10. W. Chen, M. Kifer, and D.S. Warren. HiLog: A foundation for higher-order logic programming. Journal of Logic Programming, 15(3):187-230, February 1993.
11. W. Chen and D.S. Warren. C-logic for complex objects. In ACM SIGACTSIGMOD- SIGART Symposium on Principles of Database Systems (PODS), pages 369-378, New York, March 1989. ACM.
12. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Logic Programming: Proceedings of the Fifth Conference and Symposium, pages 1070-1080, 1988.
13. S. Greco and P. Rullo. Complex-Prolog: A logic database language for handling complex objects. Information Systems, 14(1):79-87, 1989.
14. D. Harel, D. Kozen, and R. Parikh. Process Logic- Expressiveness, decidability, completeness. Journal of Computer and System Sciences, 25(2):144-170, October 1982.
15. H. Katsuno and A.O. Mendelzon. On the difference between updating a knowledge base and revising it. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR), pages 387-394, Boston, Mass., April 1991.
16. M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance and schema. In ACM SIGMOD Conference on Management of Data, pages 134-146, New York, 1989. ACM.
17. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and framebased languages. Journal of ACM, May 1995.
18. M. Kifer and J. Wu. A logic for object-oriented logic programming (Maier's Ologic revisited). In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pages 379-393, New York, March 1989. ACM.
19. M. Kifer and J. Wu. A first-order theory of types and polymorphism in logic programming. In Intl. Symposium on Logic in Computer Science (LICS), pages 310-321, Amsterdam, The Netherlands, July 1991. Expanded version: TR 90/23 under the same title, Department of Computer Science, University at Stony Brook, July 1990.
20. M. Kifer and J. Wu. A logic for programming with complex objects. Journal of Computer and System Sciences, 47(1):77-120, August 1993.
21. E. Laenens, D. Sacca, and D. Vermeir. Extending logic programming. In ACM SIGMOD Conference on Management of Data, pages 184-193, New York, June 1990. ACM.
22. J.W. Lloyd. Foundations of Logic Programming (Second Edition). Springer-Verlag, 1987.
23. D. Maier. A logic for objects. In Workshop on Foundations of Deductive Databases and Logic Programming, pages 6-26, Washington D.C., August 1986.
24. W. Marek and Z. Pawlak. Information storage and retrieval systems: Mathematical foundations. Theoretical Computer Science, 1:331-354, 1976.
25. J.M. McCarthy and P.J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463-502. Edinburgh University Press, 1969. Reprinted in Readings in Artificial Intelligence, 1981, Tioga Publ. Co.
26. P. Mello and A. Natali. Objects as communicating Prolog units. In ECOOP’87: European Conference on Object-Oriented Programming, number 276 in LNCS, pages 181-192, Paris, June 1987. Springer-Verlag.
27. J. Meseguer. Multiparadigm logic programming. In Algebraic and Logic Specifications, number 632 in Lecture Notes in Computer Science, pages 158-200. Springer- Vcrlag, September 1992.
28. J. Meseguer and X. Qian. A logical semantics for object-oriented databases. In ACM SIGMOD Conference on Management of Data, pages 89-98, New York, May 1993. ACM.
29. Z. Pawlak. Mathematical foundations of information retrieval. In Proceedings of Symposium on Mathematical Foundations of Computer Science, pages 135-136, High Tatras, Czechoslovakia, 1973.
30. T.C. Przymusinski. On the declarative semantics of deductive databases and logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193-216. Morgan Kaufmann, Los Altos, CA, 1988.
31. D. Srivastava, R. Ramakrishnan, P. Seshacki, and S. Sudsxshan. Coral++: Adding object-orientation to a logic database language. In Intl. Conference on Very Large Data Bases (VLDB), pages 158-170. Morgan Kaufmann, San Francisco, CA, August 1993.
32. J.F. Ullman. Principles of Database and Knowledge-Base Systems, Volume 2. Computer Science Press, Rockville, MD, 1989.
33. A. Van Gelder, K.A. Ross, and J.S. Schllpf. The well-founded semantics for general logic programs. Journal of ACM, 38(3):620-650, 1991.
34. R.J. Wieringa. Formalization of objects using Equational Dynamic Logic. In C. Delobel, M. Kifer, and Y. Masunaga, editors, Second Intl. Conference on Deductive and Object-Oriented Databases (DOOD), number 566 in Lecture Notes in Computer Science, pages 431-452, Munich, Germany, December 1991. Springer- Verlag.
35. C. Zanlolo. Object-oriented programming in Prolog. In IEEE Symposium on Logic Programming (SLP), pages 265-270, February 1984.