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
2436
Venue
SIGMOD
Year
1989
Pagerank
0.00018413233
Overall Rank
669 | 95.36%
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
115 A Query Language and Optimization Techniques for Unstructured Data 1996 SIGMOD 0.00046301137
272 Querying Object-Oriented Databases 1992 SIGMOD 0.0002942487
1,796 A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) 1989 PODS 0.00010505292
2,800 A Graph-Oriented Object Database Model 1990 PODS 8.1079752e-05
3,833 Describing and Using Query Capabilities of Heterogeneous Sources 1997 VLDB 6.7141332e-05
3,960 Using Witness Generators to Support Bi-directional Update Between Object-Based Databases 1995 PODS 6.5832475e-05
4,308 Towards a Unified Visual Database Access 1993 SIGMOD 6.2824978e-05
4,335 LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance 1991 SIGMOD 6.2729533e-05
4,729 On the Equivalence of Database Restructurings Involving Object Identifiers 1991 PODS 5.9614713e-05
5,099 Methods and Rules 1993 SIGMOD 5.6942143e-05
6,465 Research Directions in Object-Oriented Database Systems 1990 PODS 5.0464278e-05
8,319 Coral++: Adding Object-Orientation to a Logic Database Language 1993 VLDB 4.5392079e-05
8,324 New Data Models and Languages - the Challenge 1992 PODS 4.5392079e-05
8,442 Static Analysis of Graph Database Transformations 2023 PODS 4.5043421e-05
8,447 DOODLE: A Visual Language for Object-Oriented Databases 1992 SIGMOD 4.5039113e-05
9,170 Extending Logic Programming 1990 SIGMOD 4.380727e-05
9,740 Containment of Conjunctive Object Meta-Queries 2006 VLDB 4.2895392e-05
12,776 The Context Interchange Mediator Prototype 1997 SIGMOD 4.1905499e-05
12,857 An Effective Deductive Object-Oriented Database Through Language Integration 1994 VLDB 4.1905499e-05
12,868 A Logical Semantics for Object-Oriented Databases 1993 SIGMOD 4.1905499e-05
12,908 Updates in a Rule-Based Language for Objects 1992 VLDB 4.1905499e-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
443 A Calculus for Complex Objects 1986 PODS 0.00023059917
485 A New Approach to Database Logic 1984 PODS 0.00022061287
631 O2, an Object-Oriented Data Model 1988 SIGMOD 0.00018904557
720 Object-Oriented Database Systems 1988 PODS 0.00017531889
910 Sets and Negation in a Logic Database Language (LDL1) 1987 PODS 0.00015398775
1,796 A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) 1989 PODS 0.00010505292
2,240 Incorporating Computed Relations in Relational Databases 1981 SIGMOD 9.2161277e-05
3,039 C-Logic of Complex Objects 1989 PODS 7.6684755e-05
3,739 Towards a Real Horn Clause Language 1988 VLDB 6.7979486e-05
4,897 Multimedia Information Management in an Object-Oriented Database System 1987 VLDB 5.8456903e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
12,780 Implementing Abstract Objects with Inheritance in Datalogneg 1997 VLDB 4.1905499e-05
1,796 A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) 1989 PODS 0.00010505292
9,740 Containment of Conjunctive Object Meta-Queries 2006 VLDB 4.2895392e-05
7,363 IDLOG: Extending the Expressive Power of Deductive Database Languages 1990 SIGMOD 4.7461604e-05
3,739 Towards a Real Horn Clause Language 1988 VLDB 6.7979486e-05
12,887 A Domain-theoretic Approach to Integrating Functional and Logic Database Languages 1993 VLDB 4.1905499e-05
4,335 LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance 1991 SIGMOD 6.2729533e-05
485 A New Approach to Database Logic 1984 PODS 0.00022061287
12,868 A Logical Semantics for Object-Oriented Databases 1993 SIGMOD 4.1905499e-05
1,020 ILOG: Declarative Creation and Manipulation of Object Identifiers 1990 VLDB 0.00014614067