Back to papers
A New Approach to Database Logic
Summary: Graph-based schema unifying relational, hierarchical and network models: directed-graph schema with leaves as data and internal nodes as links, and instances separating r-values (data space) from l-values (address space). Introduces a formal logic and companion nonprocedural query language plus an equivalent algebraic language, yielding a unified logical/algebraic query framework for the generalized model.
(summarized by gpt-5-mini on Feb 09 2026)
- Paper ID
- 688
- Venue
- PODS
- Year
- 1984
- Pagerank
- 0.00022061287
- Overall Rank
- 485 | 96.64%
- DOI
-
-
Incoming Non-self Citations Over Time
Incoming Citations (Sorted by Pagerank)
Showing 27 of 27 citing papers.
| Rank |
Citing Paper |
Year |
Venue |
Pagerank |
| 353 |
Object Identity As A Query Language Primitive |
1989 |
SIGMOD |
0.00026275228 |
| 631 |
O2, an Object-Oriented Data Model |
1988 |
SIGMOD |
0.00018904557 |
| 652 |
Logic Programming With Sets |
1987 |
PODS |
0.00018643929 |
| 669 |
F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme |
1989 |
SIGMOD |
0.00018413233 |
| 722 |
FAD, a Powerful and Simple Database Language |
1987 |
VLDB |
0.00017505795 |
| 1,020 |
ILOG: Declarative Creation and Manipulation of Object Identifiers |
1990 |
VLDB |
0.00014614067 |
| 1,796 |
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) |
1989 |
PODS |
0.00010505292 |
| 2,520 |
Untyped Sets, Invention, and Computable Queries |
1989 |
PODS |
8.6044305e-05 |
| 2,775 |
Modeling Complex Structures in Object-Oriented Databases |
1989 |
PODS |
8.139455e-05 |
| 2,800 |
A Graph-Oriented Object Database Model |
1990 |
PODS |
8.1079752e-05 |
| 2,808 |
On the Expressive Power of Database Queries with Intermediate Types |
1988 |
PODS |
8.0939851e-05 |
| 3,039 |
C-Logic of Complex Objects |
1989 |
PODS |
7.6684755e-05 |
| 3,043 |
Tractable Query Languages for Complex Object Databases |
1991 |
PODS |
7.6632326e-05 |
| 3,210 |
Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm |
1990 |
SIGMOD |
7.378759e-05 |
| 3,334 |
A Grammar-Based Approach Towards Unifying Hierarchical Data Models (extended abstract) |
1989 |
SIGMOD |
7.2024301e-05 |
| 3,392 |
The Powerset Algebra As A Result Of Adding Programming Constructs To The Nested Relational Algebra |
1988 |
SIGMOD |
7.1418515e-05 |
| 4,036 |
On the Expressive Power of the Logical Data Model |
1985 |
SIGMOD |
6.508647e-05 |
| 4,612 |
On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values |
2005 |
PODS |
6.0428289e-05 |
| 4,729 |
On the Equivalence of Database Restructurings Involving Object Identifiers |
1991 |
PODS |
5.9614713e-05 |
| 4,901 |
The Expressive Power of Structured Values in Pure OODB's (extended abstract) |
1991 |
PODS |
5.8417589e-05 |
| 4,986 |
Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) |
1988 |
PODS |
5.7789317e-05 |
| 5,241 |
On The Expressive Power Of The Extended Relational Algebra For The Unnormalized Relational Model |
1987 |
PODS |
5.6057795e-05 |
| 8,324 |
New Data Models and Languages - the Challenge |
1992 |
PODS |
4.5392079e-05 |
| 8,448 |
On the power of Rule-Based Languages with Sets |
1991 |
PODS |
4.5039113e-05 |
| 8,567 |
Semi-determinism (extended abstract) |
1992 |
PODS |
4.4893996e-05 |
| 12,837 |
Tutorial: Languages for Collection Types |
1994 |
PODS |
4.1905499e-05 |
| 13,005 |
Some Classes of Multilevel Relational Structures (Extended Abstract) |
1986 |
PODS |
4.1905499e-05 |
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Semantically Similar Papers
| Overall Rank |
Paper |
Year |
Venue |
Pagerank |
| 4,343 |
Languages for Relational Databases over Interpreted Structures |
1997 |
PODS |
6.2665123e-05 |
| 6,695 |
Modelling Non Deterministic Queries and Updates In Deductive Databases |
1988 |
VLDB |
4.9550839e-05 |
| 12,868 |
A Logical Semantics for Object-Oriented Databases |
1993 |
SIGMOD |
4.1905499e-05 |
| 5,613 |
A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract) |
1986 |
PODS |
5.4101349e-05 |
| 14,275 |
On Analogical Query Processing in Logic Database |
1986 |
VLDB |
- |
| 4,409 |
Toward Logical Data Independence: A Relational Query Language without Relations |
1982 |
SIGMOD |
6.2012852e-05 |
| 7,524 |
Querying a Multilevel Database: A Logical Analysis |
1996 |
VLDB |
4.7135369e-05 |
| 13,019 |
QUERYING LOGICAL DATABASES: Preliminary Report |
1985 |
PODS |
4.1905499e-05 |
| 1,132 |
On The Algebraic Specification Of Databases |
1982 |
VLDB |
0.00013765819 |
| 3,450 |
A Modal System of Algebras for Database Specification and Query/Update Language Support |
1983 |
VLDB |
7.0803112e-05 |