M. Kifer
ABSTRACT
We present a logic for reasoning about complex objects, which is a revised and significantly extended version of Maier's O-logic [Mai86]. The logic naturally supports complex objects, object identity, deduction, is tolerant to inconsistent data, and has many other interesting features. It elegantly combines the object-oriented and value-oriented paradigms and, in particular, contains all of the predicate calculus as a special case. Our treatment of sets is also noteworthy: it is more general than ELPS [Kup87] and COL [AbG87], yet it avoids the semantic problems encountered in LDL [BNS87]. The proposed logic has a sound and complete resolution-based proof procedure.
- AbB87.S. Abiteboul and C. Beeri, "On the Power of Languages for Manipulation of Complex Objects", unpublished manuscript, 1987.Google Scholar
- AbG87.S. Abiteboul and S. Grumbach, "COL: A Logic-Based Language for Complex Objects", Workshop on Database Programming Languages, Roscoff, France, Sept. 1987, 253-276.Google Scholar
- AiN86.H. Ait-Kaci and R. Nasr, "LOGIN: A Logic Programming Language with Builtin inheritance", Journal of Logic Programming, 3, I (1986), 185-215. Google ScholarDigital Library
- BaK86.F. Bancilhon and S. N. Khoshafian, "A Calculus of Complex Objects", Proe. of the A CM SIGA GT-SIGMOD Syrup. on Prin. of Database Systems, 1986, 53-59. Google ScholarDigital Library
- Ban86.F. Bancilhon, "A Logic- Programming/Object-Oriented Cocktail", Proc. of the A CM-SIGMODIntl. Conf. on Management of Data Record, Sept. 1986.Google Scholar
- Ban88.F. Bancilhon, "Object-Oriented Database Systems", Proc. of the A CM SIGA CT- SIGMOD Syrup. on Prin. of Database Systems, 1988, 152-162. Google ScholarDigital Library
- BNS87.C. Beeri, S. Naqvi, O. Shmueli and S. Tsur, "Sets and Negation in a Logic Database Language (LDL)", MCC Report, 1987.Google Scholar
- Bee88.C. Beeri, "Data Models and Languages for Databases", 2-nd Int. Conf. on Database Theory (ICDT), LNGS #326, Bruges, Belgium, 1988, 19-40. Google ScholarDigital Library
- BNT88.C. Beeri, R. Nasr and S. Tsur, "Embedding qJ-Terms in a Horn-Clause Logic Language", MCC Tech. Rep.# ACA-ST-050-88, January 1988.Google Scholar
- Bel75.N. D. Belnap, "A Useful Four-Valued I, ogic", in Modern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein, (eds.), D. Reidel Publishing Co., 1975.Google Scholar
- Bel76.N.D. Belnap, "How a ConLputer Should Think", in Contemporary Aspects of Philosophy, G. Ryle, (ed.), Oriel Press, 1976, 30-56.Google Scholar
- BlS87.H.A. Blair and V. S. Subrahmanian, "Paraconsistent Logic Programming", Conf. on Foundations of Software "l"echnology and Theoretical Computer Science (LNCS 287), Dec. 1987, 340-360. Google ScholarDigital Library
- ChL73.C.L. Chang and R. C. T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973. Google ScholarDigital Library
- ChW89.W. Chen and D. S. Warren, "C-logic for Complex Objects", Proc. of the A CM SIGA CT-SIGMOD Syrup. on Prin. of Database Systems, 1989.: Google ScholarDigital Library
- Fag82.R. Fagin, "Horn Clauses and Database Dependencies", J. A CM, 29, 4 (Oct. 1982), 952-985. Google ScholarDigital Library
- FiK85.R. Fikes and T. Kehler, "The Role of. Frame-Based Representation in Reasoning", Communications of A CM, Sept. 1985, 904-920. Google ScholarDigital Library
- Fit88.M. Fitting, "Bilattices and the Semantics of Logic Programming", manuscript, July, 1988.Google Scholar
- GaJ78.M. R. Garey and D. S. Johnson, it, Computers and Intractability: A Guide to the Theory of NP-Completeness, Freeman and Company, San Francisco, CA, 1978. Google ScholarDigital Library
- Gin87.M.L. Ginsberg, "Multivalued Logics", in Readings in Non-Monotonic Reasoning, M. L. Ginsgerg, (ed.), 1987, 251-255. Google ScholarDigital Library
- GyV88.M. Gyssens and D. Van Gucht, "The powerset Operator as an Algebraic Tool for Understanding Least Fixpoint Semantics in the Context of Nested Relations", Proc. of the A CM-SIGMOD Intl. Conf. on Management of Data, 1988.Google Scholar
- Hay79.P.J. Hayes, "The Logic of Frames", in Frame Conception and Test Understanding, D. Metzing, (ed.), Walter de Gruyter and Co., 1979, 46-61.Google Scholar
- Hul87.R. Hull, "A Survey of Theoretical Research on Typed Complex Database Objects", in Databases, J. Paredaens, (ed.), Academic Press, 1987, 193-256. Google ScholarDigital Library
- KhC86.S. N. Khoshafian and G. P. Copeland, "Object Ide~tity", OOPSLA-86, 1986, 406-416. Google ScholarDigital Library
- Kif88.M. Kifer, "On Safety, Domai,~ Independence, and Capturability of Database Queries", 3-d Int. Conference on Data and Knowledge Bases, Jerusalem, israel, June 1988, 405-415.Google ScholarCross Ref
- KiL88a.M. Kifer and G. Lausen, "F-Logic-A "Higher-Order" Logic for Reasoning about Objects, Inheritance, and Schema , submitted for publication, Dec. 1988.Google Scholar
- KiL88b.M. Kifer and A. Li, "O,l the Semantics of Rule-Based Expert Systems with Uncertainty", in ~-nd }nl. Conf. on Database Theory (LN CS 326), M. Gyssens, J. Paredaens and D. V. Gucht, (eds.), Springer Verlag, Bruges, Belgium, Sept. 1988, 102-117. Google ScholarDigital Library
- KiL89.M. Kifer and E. L. Lozinskii, "RI: A Logic for Reasoning with inconsistency", Symposium on Logic irt Computer Science (LICS}, June 1989. to appear. Google ScholarDigital Library
- KuV84.G.M. Kuper and M. Y. Vardi, "A New Approach to Database Logic", Proe. of the A CM SIGA CT-SIGMOD Syrup. on Prin. of Database Systems, 1984. Google ScholarDigital Library
- Kup87.G.M. Kuper, "An Extension of LPS to Arbitrary Sets", IBM Research Report, 1987.Google Scholar
- LRV88.C. Lecluse, P. Richard and F. Velez, "O^, an Oojcct-Oriented Data Model , Proc. bf the A CM-SIGMOD Intl. Conf. on Management of Data-88, 1988, 424-433. Google ScholarDigital Library
- LeR88.C. l, ecluse and P. Richard, "Modeling Inheritance and Genericity in Object- Oricatcd Databases", g-nd Int. Conf. on Database Theory (ICD T), LNCS #326, Bruges, Belgium, 1988, 223-238. Google ScholarDigital Library
- Llo87.J. W. Lloyd, Foundations of Logic Programming (Second Edition), Springer Verlag, 1987. Google ScholarDigital Library
- Mai86.D. Mater, "A Logic for Objects", Proc. of the Workshop on Foundations of Deductive Databases and Logic Programming, Washington D.C., Aug. 1986, 6-26.Google Scholar
- Prz88.T.C. Przymusinski, "On the Declarative Semantics of Deductive Databases and Logic Programs", in Foundations of Deductive Databases and Logic Prooramming, J. Minker, (ed.), Morgan- Kaufmann, Los Altos, CA, 1988, 193-216. Google ScholarDigital Library
- RKS85.M. A. Roth, H. F. Korth and A. Silbersc hatz, "Extended Algebra and Calculus for -~INF Relational Databases", 'l,ecl,. Rep.-84-36, Dept. of Computer Science, Univ. of Texas at Austin, 1985. Google ScholarDigital Library
- Rub87.H. Rubinski, "On First-Order Databases", A CM Trarts. Database Systems, 12, 3 (Sept. 1987), 325-349. Google ScholarDigital Library
- San85.E. Sandewall, "A Functional Approach to Non-Monotonic Logic", IJCAI-85, 1985, 100-106.Google Scholar
- STZ88.O. Shrnuell, S. Tsur and C. Zaniolo, "Rewriting of Rules Containing Set Terms in a Logical Data Language (LDL)", l'roc, of the ACM SIGACT- SIGMOD Syrup. on Prin. of Database Systems, 1988, 15-28. Google ScholarDigital Library
- StB86.M. Stefik and D. G. Bobrow, "Object- Oriented Programming: Themes and Variations", The AI Magazine, Jan. 1986, 40-62. Google ScholarDigital Library
- Ull87.J.D. Ullman, "Database Theory: Past and Future", Proe. of the A CM SIGACT-SIGMOD Syrup. on Prin. of Database Systems, 1987, 1-10. Google ScholarDigital Library
- Ull88.J.D. Vllman, Principles of Database and Knowledge-Base Systems, Computer Science Press, Rockville, MD, 1988. Google ScholarDigital Library
- VRS88.A. Van Gelder, K. Ross and J. S. Schlipf, "Unfounded Sets and Well-founded Semantics for General Logic Programs", Proc. of the ACM SIGA CT-SIGMOD Syrup. on Prin. of Database Systems, Austin, TX, 1988, 221-231. Google ScholarDigital Library
- Var81.M.Y. Vardi, "The Decision Problem for Database Dependencies", Information Processing Letters, Oct. 1981, 251-254.Google ScholarCross Ref
- Weg87.P. Wegner, "The Object-Oriented. . Classification Paradigm", manuscript, 1987.Google Scholar
- ZAB85.C. Zaniolo, H. Ait-Kaci, D. Beech, S. Cammarata, L. Kerschberg and D. Mater, "Object Oriented Database Systems and Knowledge Systems", MCC Tech. Rep.# DB-038-85, MCC, 1985.Google Scholar
Index Terms
- A logic for object-oriented logic programming
Recommendations
From answer set logic programming to circumscription via logic of GK
We first embed Pearce's equilibrium logic and Ferraris's propositional general logic programs in Lin and Shoham's logic of GK, a nonmonotonic modal logic that has been shown to include as special cases both Reiter's default logic in the propositional ...
Comments