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)

Paper ID: h9e2765335a44daeb
Venue: PODS
Year: 1989
Pagerank: 9.3191736e-05
Overall Rank: 1,951 | 86.89%
DOI: 10.1145/73721.73758

Incoming Non-self Citations Over Time

Authors

1. Michael Kifer (State University of New York at Stony Brook)
2. James Wu (State University of New York at Stony Brook)

BibTeX Citation

@inproceedings{kifer_pods89,
        address = {New York, NY, USA},
        series = {{PODS} '89},
        title = {{A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)}},
        url = {https://dl.acm.org/doi/10.1145/73721.73758},
        doi = {10.1145/73721.73758},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Kifer, Michael and Wu, James},
        year = {1989}
}

Incoming Citations (Sorted by Pagerank)

Showing 11 of 11 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
366	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00019923978
904	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD	0.00013171457
1,003	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB	0.00012597028
1,165	Objects and Views	1991	SIGMOD	0.00011740339
3,142	C-Logic of Complex Objects	1989	PODS	7.5983724e-05
3,548	Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm	1990	SIGMOD	7.2120626e-05
4,646	On the Equivalence of Database Restructurings Involving Object Identifiers	1991	PODS	6.4877004e-05
5,040	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD	6.3006733e-05
8,729	New Data Models and Languages - the Challenge	1992	PODS	5.2905577e-05
8,981	DOODLE: A Visual Language for Object-Oriented Databases	1992	SIGMOD	5.2434048e-05
13,382	Updates in a Rule-Based Language for Objects	1992	VLDB	4.9793485e-05

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
486	A Calculus for Complex Objects	1986	PODS	0.00017471997
559	A New Approach to Database Logic	1984	PODS	0.00016422254
759	O2, an Object-Oriented Data Model	1988	SIGMOD	0.00014164131
874	Object-Oriented Database Systems	1988	PODS	0.00013331383
904	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD	0.00013171457
1,049	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.0001229888
1,556	Unfounded Sets and Well-Founded Semantics for General Logic Programs	1988	PODS	0.00010267435
2,804	Database Theory: Past and Future	1987	PODS	7.9840087e-05
3,142	C-Logic of Complex Objects	1989	PODS	7.5983724e-05
5,283	Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL)	1988	PODS	6.1979847e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	4,523	Functional and Predicative programming in OODB's	1992	PODS
2	2,528	Logic Programming as Constructivism: A Formalization and its Application to Databases	1989	PODS
3	13,444	An Implementation Model For Reasoning With Complex Objects	1988	SIGMOD
4	13,315	Making Object-Oriented Schemas More Expressive	1994	PODS
5	904	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD
6	5,335	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS
7	828	Logic Programming With Sets	1987	PODS
8	9,505	Extending Logic Programming	1990	SIGMOD
9	13,342	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD
10	3,142	C-Logic of Complex Objects	1989	PODS