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: 2497
Venue: SIGMOD
Year: 1989
Pagerank: 0.00013464822
Overall Rank: 877 | 93.99%
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
124	A Query Language and Optimization Techniques for Unstructured Data	1996	SIGMOD	0.00030950263
403	Querying Object-Oriented Databases	1992	SIGMOD	0.0001907249
1,891	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.5298123e-05
2,637	A Graph-Oriented Object Database Model	1990	PODS	8.3154765e-05
3,563	Describing and Using Query Capabilities of Heterogeneous Sources	1997	VLDB	7.3076984e-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
5,413	Using Witness Generators to Support Bi-directional Update Between Object-Based Databases	1995	PODS	6.2269846e-05
5,734	Methods and Rules	1993	SIGMOD	6.105443e-05
6,239	Towards a Unified Visual Database Access	1993	SIGMOD	5.9425753e-05
6,464	Research Directions in Object-Oriented Database Systems	1990	PODS	5.8714103e-05
8,459	Static Analysis of Graph Database Transformations	2023	PODS	5.4216353e-05
8,561	Coral++: Adding Object-Orientation to a Logic Database Language	1993	VLDB	5.4119882e-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
9,326	Extending Logic Programming	1990	SIGMOD	5.289545e-05
9,865	Containment of Conjunctive Object Meta-Queries	2006	VLDB	5.2045536e-05
12,961	The COntext Interchange Mediator Prototype	1997	SIGMOD	5.093636e-05
13,041	An Effective Deductive Object-Oriented Database Through Language Integration	1994	VLDB	5.093636e-05
13,052	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD	5.093636e-05
13,092	Updates in a Rule-Based Language for Objects	1992	VLDB	5.093636e-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
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
1,026	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00012578477
1,891	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.5298123e-05
3,083	C-Logic of Complex Objects	1989	PODS	7.7717632e-05
3,372	Incorporating Computed Relations in Relational Databases	1981	SIGMOD	7.4694279e-05
4,072	Towards a Real Horn Clause Language	1988	VLDB	6.9258731e-05
5,238	Multimedia Information Management in an Object-Oriented Database System	1987	VLDB	6.3029628e-05

Semantically Similar Papers

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