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.00013165264
Overall Rank: 905 | 93.92%
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.00030306096
414	Querying Object-Oriented Databases	1992	SIGMOD	0.00018672651
1,953	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.3147717e-05
2,665	A Graph-Oriented Object Database Model	1990	PODS	8.1530079e-05
3,620	Describing and Using Query Capabilities of Heterogeneous Sources	1997	VLDB	7.1515428e-05
4,648	On the Equivalence of Database Restructurings Involving Object Identifiers	1991	PODS	6.4847033e-05
5,044	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD	6.2976907e-05
5,541	Using Witness Generators to Support Bi-directional Update Between Object-Based Databases	1995	PODS	6.0880492e-05
5,859	Methods and Rules	1993	SIGMOD	5.9656486e-05
6,372	Towards a Unified Visual Database Access	1993	SIGMOD	5.8064898e-05
6,604	Research Directions in Object-Oriented Database Systems	1990	PODS	5.736996e-05
8,632	Static Analysis of Graph Database Transformations	2023	PODS	5.2974794e-05
8,736	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB	5.2880532e-05
8,737	New Data Models and Languages - the Challenge	1992	PODS	5.2880532e-05
8,992	DOODLE: A Visual Language for Object-Oriented Databases	1992	SIGMOD	5.2409226e-05
9,516	Extending Logic Programming	1990	SIGMOD	5.168414e-05
10,060	Containment of Conjunctive Object Meta-Queries	2006	VLDB	5.0853865e-05
13,257	The COntext Interchange Mediator Prototype	1997	SIGMOD	4.9769913e-05
13,337	An Effective Deductive Object-Oriented Database Through Language Integration	1994	VLDB	4.9769913e-05
13,348	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD	4.9769913e-05
13,388	Updates in a Rule-Based Language for Objects	1992	VLDB	4.9769913e-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.00017463801
559	A New Approach to Database Logic	1984	PODS	0.00016414522
759	O2, an Object-Oriented Data Model	1988	SIGMOD	0.0001415745
874	Object-Oriented Database Systems	1988	PODS	0.00013325135
1,049	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00012293092
1,953	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.3147717e-05
3,143	C-Logic of Complex Objects	1989	PODS	7.5947835e-05
3,425	Incorporating Computed Relations in Relational Databases	1981	SIGMOD	7.3082181e-05
4,158	Towards a Real Horn Clause Language	1988	VLDB	6.7704058e-05
5,364	Multimedia Information Management in an Object-Oriented Database System	1987	VLDB	6.1590239e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,261	Implementing Abstract Objects with Inheritance in Datalog^neg	1997	VLDB
2	1,953	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS
3	10,060	Containment of Conjunctive Object Meta-Queries	2006	VLDB
4	8,057	IDLOG: Extending the Expressive Power of Deductive Database Languages	1990	SIGMOD
5	4,158	Towards a Real Horn Clause Language	1988	VLDB
6	13,367	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB
7	5,044	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,348	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD
10	1,003	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB