A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)
Summary: Revises and extends Maier’s O-logic into a unifying logic for complex objects that integrates object identity, object- and value-oriented paradigms, tolerates inconsistency, and even subsumes predicate calculus. Provides a more general, well-behaved set semantics than ELPS/COL/LDL and a sound, complete resolution-based proof procedure. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Michael Kifer
- 2. James Wu
Incoming Citations (Sorted by Pagerank)
Showing 11 of 11 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 353 | Object Identity As A Query Language Primitive | 1989 | SIGMOD | 0.00026275228 |
| 669 | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme | 1989 | SIGMOD | 0.00018413233 |
| 842 | Objects and Views | 1991 | SIGMOD | 0.00015981389 |
| 1,020 | ILOG: Declarative Creation and Manipulation of Object Identifiers | 1990 | VLDB | 0.00014614067 |
| 3,039 | C-Logic of Complex Objects | 1989 | PODS | 7.6684755e-05 |
| 3,210 | Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm | 1990 | SIGMOD | 7.378759e-05 |
| 4,335 | LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance | 1991 | SIGMOD | 6.2729533e-05 |
| 4,729 | On the Equivalence of Database Restructurings Involving Object Identifiers | 1991 | PODS | 5.9614713e-05 |
| 8,324 | New Data Models and Languages - the Challenge | 1992 | PODS | 4.5392079e-05 |
| 8,447 | DOODLE: A Visual Language for Object-Oriented Databases | 1992 | SIGMOD | 4.5039113e-05 |
| 12,908 | Updates in a Rule-Based Language for Objects | 1992 | VLDB | 4.1905499e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 10 of 10 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 443 | A Calculus for Complex Objects | 1986 | PODS | 0.00023059917 |
| 485 | A New Approach to Database Logic | 1984 | PODS | 0.00022061287 |
| 631 | O2, an Object-Oriented Data Model | 1988 | SIGMOD | 0.00018904557 |
| 669 | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme | 1989 | SIGMOD | 0.00018413233 |
| 720 | Object-Oriented Database Systems | 1988 | PODS | 0.00017531889 |
| 910 | Sets and Negation in a Logic Database Language (LDL1) | 1987 | PODS | 0.00015398775 |
| 1,166 | Unfounded Sets and Well-Founded Semantics for General Logic Programs | 1988 | PODS | 0.00013542063 |
| 2,740 | Database Theory: Past and Future | 1987 | PODS | 8.1989773e-05 |
| 3,039 | C-Logic of Complex Objects | 1989 | PODS | 7.6684755e-05 |
| 4,986 | Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) | 1988 | PODS | 5.7789317e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,378 | Functional and Predicative programming in OODB's | 1992 | PODS | 6.2329359e-05 |
| 1,983 | Logic Programming as Constructivism: A Formalization and its Application to Databases | 1989 | PODS | 9.8694826e-05 |
| 8,224 | An Implementation Model For Reasoning With Complex Objects | 1988 | SIGMOD | 4.550782e-05 |
| 12,840 | Making Object-Oriented Schemas More Expressive | 1994 | PODS | 4.1905499e-05 |
| 669 | F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme | 1989 | SIGMOD | 0.00018413233 |
| 5,102 | On the Expressive Power of Logic Programming Languages with Sets | 1988 | PODS | 5.6936517e-05 |
| 652 | Logic Programming With Sets | 1987 | PODS | 0.00018643929 |
| 9,170 | Extending Logic Programming | 1990 | SIGMOD | 4.380727e-05 |
| 12,868 | A Logical Semantics for Object-Oriented Databases | 1993 | SIGMOD | 4.1905499e-05 |
| 3,039 | C-Logic of Complex Objects | 1989 | PODS | 7.6684755e-05 |