DBScholar

Back to papers

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
881
Venue
PODS
Year
1989
Pagerank
9.5298123e-05
Overall Rank
1,891 | 87.03%
DOI
10.1145/73721.73758

Incoming Non-self Citations Over Time

Authors

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
355 Object Identity As A Query Language Primitive 1989 SIGMOD 0.00020351749
877 F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme 1989 SIGMOD 0.00013464822
971 ILOG: Declarative Creation and Manipulation of Object Identifiers 1990 VLDB 0.00012875736
1,145 Objects and Views 1991 SIGMOD 0.00011987662
3,083 C-Logic of Complex Objects 1989 PODS 7.7717632e-05
3,480 Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm 1990 SIGMOD 7.3771957e-05
4,555 On the Equivalence of Database Restructurings Involving Object Identifiers 1991 PODS 6.6344715e-05
4,919 LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance 1991 SIGMOD 6.4452856e-05
8,562 New Data Models and Languages - the Challenge 1992 PODS 5.4119882e-05
8,816 DOODLE: A Visual Language for Object-Oriented Databases 1992 SIGMOD 5.363753e-05
13,092 Updates in a Rule-Based Language for Objects 1992 VLDB 5.093636e-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
475 A Calculus for Complex Objects 1986 PODS 0.00017864549
544 A New Approach to Database Logic 1984 PODS 0.00016792556
740 O2, an Object-Oriented Data Model 1988 SIGMOD 0.00014482241
849 Object-Oriented Database Systems 1988 PODS 0.00013620915
877 F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme 1989 SIGMOD 0.00013464822
1,026 Sets and Negation in a Logic Database Language (LDL1) 1987 PODS 0.00012578477
1,522 Unfounded Sets and Well-Founded Semantics for General Logic Programs 1988 PODS 0.00010502706
2,754 Database Theory: Past and Future 1987 PODS 8.164514e-05
3,083 C-Logic of Complex Objects 1989 PODS 7.7717632e-05
5,161 Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) 1988 PODS 6.3398667e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

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