Database Paper Browser

Back to papers

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
2435
Venue
SIGMOD
Year
1989
Pagerank
0.00018430212
Overall Rank
669 | 95.35%
DOI
-

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 21 of 21 citing papers.

Rank Citing Paper Year Venue Pagerank
114 A Query Language and Optimization Techniques for Unstructured Data 1996 SIGMOD 0.00046339735
271 Querying Object-Oriented Databases 1992 SIGMOD 0.00029452935
1,799 A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) 1989 PODS 0.0001051612
2,799 A Graph-Oriented Object Database Model 1990 PODS 8.105074e-05
3,832 Describing and Using Query Capabilities of Heterogeneous Sources 1997 VLDB 6.7178862e-05
3,959 Using Witness Generators to Support Bi-directional Update Between Object-Based Databases 1995 PODS 6.5897093e-05
4,315 Towards a Unified Visual Database Access 1993 SIGMOD 6.2885419e-05
4,337 LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance 1991 SIGMOD 6.2790019e-05
4,730 On the Equivalence of Database Restructurings Involving Object Identifiers 1991 PODS 5.967211e-05
5,100 Methods and Rules 1993 SIGMOD 5.6996909e-05
6,473 Research Directions in Object-Oriented Database Systems 1990 PODS 5.0509826e-05
8,326 Coral++: Adding Object-Orientation to a Logic Database Language 1993 VLDB 4.5435639e-05
8,331 New Data Models and Languages - the Challenge 1992 PODS 4.5435639e-05
8,450 Static Analysis of Graph Database Transformations 2023 PODS 4.5086643e-05
8,453 DOODLE: A Visual Language for Object-Oriented Databases 1992 SIGMOD 4.5082358e-05
9,167 Extending Logic Programming 1990 SIGMOD 4.3849295e-05
9,741 Containment of Conjunctive Object Meta-Queries 2006 VLDB 4.2936538e-05
12,767 The Context Interchange Mediator Prototype 1997 SIGMOD 4.1945683e-05
12,848 An Effective Deductive Object-Oriented Database Through Language Integration 1994 VLDB 4.1945683e-05
12,858 A Logical Semantics for Object-Oriented Databases 1993 SIGMOD 4.1945683e-05
12,898 Updates in a Rule-Based Language for Objects 1992 VLDB 4.1945683e-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
440 A Calculus for Complex Objects 1986 PODS 0.00023084404
485 A New Approach to Database Logic 1984 PODS 0.00022085103
630 O2, an Object-Oriented Data Model 1988 SIGMOD 0.00018939398
722 Object-Oriented Database Systems 1988 PODS 0.00017547917
912 Sets and Negation in a Logic Database Language (LDL1) 1987 PODS 0.00015414126
1,799 A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) 1989 PODS 0.0001051612
2,239 Incorporating Computed Relations in Relational Databases 1981 SIGMOD 9.2201166e-05
3,033 C-Logic of Complex Objects 1989 PODS 7.6759237e-05
3,738 Towards a Real Horn Clause Language 1988 VLDB 6.8032471e-05
4,892 Multimedia Information Management in an Object-Oriented Database System 1987 VLDB 5.8513087e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
12,771 Implementing Abstract Objects with Inheritance in Datalogneg 1997 VLDB 4.1945683e-05
1,799 A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) 1989 PODS 0.0001051612
9,741 Containment of Conjunctive Object Meta-Queries 2006 VLDB 4.2936538e-05
7,368 IDLOG: Extending the Expressive Power of Deductive Database Languages 1990 SIGMOD 4.7507411e-05
3,738 Towards a Real Horn Clause Language 1988 VLDB 6.8032471e-05
12,877 A Domain-theoretic Approach to Integrating Functional and Logic Database Languages 1993 VLDB 4.1945683e-05
4,337 LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance 1991 SIGMOD 6.2790019e-05
485 A New Approach to Database Logic 1984 PODS 0.00022085103
12,858 A Logical Semantics for Object-Oriented Databases 1993 SIGMOD 4.1945683e-05
1,018 ILOG: Declarative Creation and Manipulation of Object Identifiers 1990 VLDB 0.00014627963