F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme

ACM SIGMOD Record

Volumn 18, Issue 2, 1989, Pages 134-146

  Kifer, Michael ^a   Lausen, Georg ^b  

^a STONY BROOK UNIVERSITY   (United States)

^b UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976787645     PISSN: 01635808     EISSN: None     Source Type: Journal    
DOI: 10.1145/66926.66939     Document Type: Article

References (44)

1. S. Abiteboul and C. Beeri. On the Power of Languages for Manipulation of Complex Objects. 1987. manuscript.
2. S. Abiteboul and S. Grumbach. COL: A Logic-Based Language for Complex Objects. In Workshop on Database Programming Languages, pages 253–276, Roscoff, France, September 1987.
3. H. Ait-Kaci and R. Nasr. LOGIN: A Logic Programming Language With Built-in Inheritance. J. Logic Programming, 3:185–215, 1986.
4. F. Bancilhon. Object-Oriented Database Systems. In Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of database Systems, pages 152–162, 1988.
5. F. Bancilhon and S.N. Khoshafian. A Calculus of Complex Objects. In Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of database Systems, pages 53–59, March 1986.
6. C. Beeri, S. Naqvi, O. Shmueli, and S. Tsur. Sets and Negation in a Logic Database Language (LDL). Technical Report, MCC, 1987.
7. C. Beeri, R. Nasr, and S. Tsur. Embedding ψ-terms in a Horn-clause Logic Language. In Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, pages 347–359, Morgan Kaufmann, 1988.
8. P. Buneman and A. Ohori. Using Powerdomains to Generalize Relational Databases. Theoretical Computer Science, 1989. to appear.
9. H. Ait-Kaci, C. Zaniolo, D. Beech, S. Cammarata, L. Kerschberg, and D. Maier. Object-Oriented Database and Knowledge Systems. Technical Report DB-038-85, MCC, 1985.
10. L. Cardelli. A Semantics of Multiple Inheritance. In Int. Symp. on Semantics of data Types, LNCS 173, pages 51–67, June 1984.
11. C.L. Chang and R.C.T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.
12. W. Chen, M. Kifer, and D.S. Warren. HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. In 2-nd Intl. Workshop on Database Programming Languages, Morgan-Kaufmann, June 1989.
13. W. Chen and D.S. Warren. C-logic for Complex Objects. In Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of database Systems, March 1989. to appear.
14. E.F. Codd. A Relational Model For Large Shared Data Banks. Communications of ACM, 13(6):377–387, 1970.
15. D.W. Etherington and R. Reiter. On Inheritance Hierarchies with Exceptions. In AAAI-83, pages 104–108, Washington, D.C., 1983.
16. R. Fikes and T. Kehler. The Role of Frame-Based Representation in Reasoning. Commun. ACM, 28(9):904–920, 1985.
17. M.L. Ginsberg. Multivalued Logics. In M.L. Ginsberg, editor, Readings in Non-Monotonic Reasoning, pages 251–255, Morgan-Kaufmann, 1987.
18. P.J. Hayes. The Logic for Frames. In D. Metzing, editor, Frame Conception and Text Understanding, pages 46–61, Walter de Gruyter and Co., 1979.
19. S.N. Khoshafian and G.P. Copeland. Object Identity. In OOPSLA-86, pages 406–416, 1986.
20. M. Kifer and J. Wu. A Logic for Object-Oriented Logic Programming (Maier's O-logic Revisited). In Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of database Systems, March 1989. to appear.
21. R. Krishnamurthy and S. Naqvi. Towards a Real Horn Clause Language. In Proceedings of the Intl. Conference on Very Large Data Bases, 1988.
22. G. Kuper and M.Y. Vardi. A New Approach to Database Logic. In Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of database Systems, 1984.
23. G.M. Kuper. An Extension of LPS to Arbitrary Sets. Technical Report, IBM, Yorktown Heights, 1987.
24. C. Lecluse and P. Richard. Modeling Inheritance and Genericity in Object-Oriented Databases. In 2-nd Int. Conf. on Database Theory (ICDT), LNCS 326, pages 223–238, Springer Verlag, Bruges, Belgium, 1988.
25. C. Lecluse, P. Richard, and F. Velez. O2, an Object-Oriented Data Model. In Proceedings of the ACMSIGMOD Conference on Management of Data, pages 424–433, 1988.
26. J.W. Lloyd. Foundations of Logic Programming (Second Edition). Springer Verlag, 1987.
27. D. Maier. A Logic for Objects. In Workshop on Foundations of Deductive Databases and Logic Programming, pages 6–26, Washington D.C., August 1986.
28. D. Maier. Why Database Languages are a Bad Idea (position paper). In Proc. of the Workshop on Database Programming Languages, Roscoff, France, September 1987.
29. D. Maier, J. Stein, A. Otis, and A. Purdy. Development of an Object-Oriented DBMS. In Proceedings of OOPSLA-86, pages 472–482, 1986.
30. D. Maier and D.S. Warren. A Theory of Computed Relations. Technical Report 80/12, Department of Computer Science, SUNY at Stony Brook, November 1980.
31. D. Maier and D.S. Warren. Incorporation Computed Relations in Relational Databases. Technical Report 80/17, Department of Computer Science, SUNY at Stony Brook, December 1980.
32. J. McCarthy. First Order Theories of Individual Concepts and Propositions. In J.E. Hayes and D. Michie, editors, Machine Inteligence, pages 129–147, Edinburgh University Press, 1979.
33. M. Minsky. A Framework for Representing Knowledge. In J. Haugeland, editor, Mind design, pages 95–128, MIT Press, Cambridge, MA, 1981.
34. A. Motro. BAROQUE: A Browser for Relational Databases. ACM Trans, on Office Information Systems, 4(2):164–181, 1986.
35. E. Neuhold and M. Stonebraker. Future Directions in DBMS Research. 1988. The Laguna Beech Report.
36. 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.
37. M.A. Roth, H.F. Korth, and A. Silberschatz. Extended Algebra and Calculus for ¬1NF Relational Databases. Technical Report 84-36, Univ. of Texas at Austin, 1985.
38. G. Smolka and H. Ait-Kaci. Inheritance Hierarchies: Semantics and Unification. Technical Report AI-057-87, MCC, May 1987.
39. M. Stefik and D.G. Bobrow. Object-Oriented Programming: Themes and Variations. The AI Magazine, 40–62, January 1986.
40. D.S. Touretzky. The Mathematics of Inheritance. Morgan-Kaufmann, Los Altos, CA, 1986.
41. D.S. Touretzky, J.F. Horty, and R.H. Thomason. A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. In IICAI-87, pages 476–482, 1987.
42. Vbase Object Manager. Ontologic, Inc., 1986. User Manual.
43. P. Wegner. The Object-Oriented Classification Paradigm. 1987. manuscript.
44. D. Woelk, W. Kim, and W. Luther. Multimedia Information Management in an Object-Oriented Database System. In Proceedings of the Intl. Conference on Very Large Data Bases, 1987.