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

Summary: Presents F-Logic, a higher-order database logic for object identity, complex objects, inheritance, and methods in a unified declarative framework. Schema as data enables uniform browsing of schema and data; formal semantics with a sound, complete resolution-based proof procedure for OO-DB reasoning. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: h2f9a237f3fb2a40a
Venue: SIGMOD
Year: 1989
Pagerank: 0.00013171457
Overall Rank: 904 | 93.93%
DOI: 10.1145/67544.66939

Incoming Non-self Citations Over Time

Authors

1. Michael Kifer (State University of New York at Stony Brook)
2. Georg Lausen (University of Mannheim)

BibTeX Citation

@inproceedings{kifer_sigmod89,
        title = {{F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme}},
        author = {Kifer, Michael and Lausen, Georg},
        series = {{SIGMOD} '89},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/67544.66939},
        url = {https://dl.acm.org/doi/10.1145/67544.66939},
        year = {1989}
}

Incoming Citations (Sorted by Pagerank)

Showing 21 of 21 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
130	A Query Language and Optimization Techniques for Unstructured Data	1996	SIGMOD	0.00030320165
413	Querying Object-Oriented Databases	1992	SIGMOD	0.00018681401
1,951	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.3191736e-05
2,665	A Graph-Oriented Object Database Model	1990	PODS	8.1568013e-05
3,620	Describing and Using Query Capabilities of Heterogeneous Sources	1997	VLDB	7.1548155e-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
5,539	Using Witness Generators to Support Bi-directional Update Between Object-Based Databases	1995	PODS	6.0909185e-05
5,857	Methods and Rules	1993	SIGMOD	5.968474e-05
6,368	Towards a Unified Visual Database Access	1993	SIGMOD	5.8092399e-05
6,602	Research Directions in Object-Oriented Database Systems	1990	PODS	5.7397128e-05
8,625	Static Analysis of Graph Database Transformations	2023	PODS	5.2999883e-05
8,728	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB	5.2905577e-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
9,505	Extending Logic Programming	1990	SIGMOD	5.1708619e-05
10,055	Containment of Conjunctive Object Meta-Queries	2006	VLDB	5.087795e-05
13,251	The COntext Interchange Mediator Prototype	1997	SIGMOD	4.9793485e-05
13,331	An Effective Deductive Object-Oriented Database Through Language Integration	1994	VLDB	4.9793485e-05
13,342	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD	4.9793485e-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
1,049	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.0001229888
1,951	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.3191736e-05
3,142	C-Logic of Complex Objects	1989	PODS	7.5983724e-05
3,425	Incorporating Computed Relations in Relational Databases	1981	SIGMOD	7.3115645e-05
4,158	Towards a Real Horn Clause Language	1988	VLDB	6.7735939e-05
5,358	Multimedia Information Management in an Object-Oriented Database System	1987	VLDB	6.161939e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,255	Implementing Abstract Objects with Inheritance in Datalog^neg	1997	VLDB
2	1,951	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS
3	10,055	Containment of Conjunctive Object Meta-Queries	2006	VLDB
4	8,051	IDLOG: Extending the Expressive Power of Deductive Database Languages	1990	SIGMOD
5	4,158	Towards a Real Horn Clause Language	1988	VLDB
6	13,361	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB
7	5,040	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD
8	559	A New Approach to Database Logic	1984	PODS
9	13,342	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD
10	1,003	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB