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.00013123298
Overall Rank: 908 | 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
131	A Query Language and Optimization Techniques for Unstructured Data	1996	SIGMOD	0.000302173
416	Querying Object-Oriented Databases	1992	SIGMOD	0.00018613776
1,961	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.2843909e-05
2,669	A Graph-Oriented Object Database Model	1990	PODS	8.1313046e-05
3,630	Describing and Using Query Capabilities of Heterogeneous Sources	1997	VLDB	7.1283222e-05
4,664	On the Equivalence of Database Restructurings Involving Object Identifiers	1991	PODS	6.4635254e-05
5,067	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD	6.2768666e-05
5,559	Using Witness Generators to Support Bi-directional Update Between Object-Based Databases	1995	PODS	6.0696945e-05
5,872	Methods and Rules	1993	SIGMOD	5.9459225e-05
6,382	Towards a Unified Visual Database Access	1993	SIGMOD	5.78729e-05
6,610	Research Directions in Object-Oriented Database Systems	1990	PODS	5.7180274e-05
8,651	Static Analysis of Graph Database Transformations	2023	PODS	5.2799626e-05
8,756	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB	5.2705676e-05
8,757	New Data Models and Languages - the Challenge	1992	PODS	5.2705676e-05
9,012	DOODLE: A Visual Language for Object-Oriented Databases	1992	SIGMOD	5.2235929e-05
9,544	Extending Logic Programming	1990	SIGMOD	5.151324e-05
10,091	Containment of Conjunctive Object Meta-Queries	2006	VLDB	5.068571e-05
13,298	The COntext Interchange Mediator Prototype	1997	SIGMOD	4.9605343e-05
13,378	An Effective Deductive Object-Oriented Database Through Language Integration	1994	VLDB	4.9605343e-05
13,389	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD	4.9605343e-05
13,429	Updates in a Rule-Based Language for Objects	1992	VLDB	4.9605343e-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
488	A Calculus for Complex Objects	1986	PODS	0.00017406684
561	A New Approach to Database Logic	1984	PODS	0.00016361117
763	O2, an Object-Oriented Data Model	1988	SIGMOD	0.00014111102
875	Object-Oriented Database Systems	1988	PODS	0.00013282524
1,056	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00012252667
1,961	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.2843909e-05
3,155	C-Logic of Complex Objects	1989	PODS	7.5700426e-05
3,434	Incorporating Computed Relations in Relational Databases	1981	SIGMOD	7.2859487e-05
4,178	Towards a Real Horn Clause Language	1988	VLDB	6.748354e-05
5,380	Multimedia Information Management in an Object-Oriented Database System	1987	VLDB	6.1387295e-05

Semantically Similar Papers

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