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.00022085103
- Overall Rank
- 485 | 96.63%
- DOI
-
-
Incoming Non-self Citations Over Time
Incoming Citations (Sorted by Pagerank)
Showing 27 of 27 citing papers.
| Rank |
Citing Paper |
Year |
Venue |
Pagerank |
| 352 |
Object Identity As A Query Language Primitive |
1989 |
SIGMOD |
0.00026299604 |
| 630 |
O2, an Object-Oriented Data Model |
1988 |
SIGMOD |
0.00018939398 |
| 649 |
Logic Programming With Sets |
1987 |
PODS |
0.00018662857 |
| 669 |
F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme |
1989 |
SIGMOD |
0.00018430212 |
| 724 |
FAD, a Powerful and Simple Database Language |
1987 |
VLDB |
0.00017536758 |
| 1,018 |
ILOG: Declarative Creation and Manipulation of Object Identifiers |
1990 |
VLDB |
0.00014627963 |
| 1,799 |
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) |
1989 |
PODS |
0.0001051612 |
| 2,515 |
Untyped Sets, Invention, and Computable Queries |
1989 |
PODS |
8.6128871e-05 |
| 2,768 |
Modeling Complex Structures in Object-Oriented Databases |
1989 |
PODS |
8.1473167e-05 |
| 2,799 |
A Graph-Oriented Object Database Model |
1990 |
PODS |
8.105074e-05 |
| 2,800 |
On the Expressive Power of Database Queries with Intermediate Types |
1988 |
PODS |
8.1019352e-05 |
| 3,033 |
C-Logic of Complex Objects |
1989 |
PODS |
7.6759237e-05 |
| 3,040 |
Tractable Query Languages for Complex Object Databases |
1991 |
PODS |
7.6707607e-05 |
| 3,205 |
Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm |
1990 |
SIGMOD |
7.3867679e-05 |
| 3,334 |
A Grammar-Based Approach Towards Unifying Hierarchical Data Models (extended abstract) |
1989 |
SIGMOD |
7.2092618e-05 |
| 3,392 |
The Powerset Algebra As A Result Of Adding Programming Constructs To The Nested Relational Algebra |
1988 |
SIGMOD |
7.1485699e-05 |
| 4,028 |
On the Expressive Power of the Logical Data Model |
1985 |
SIGMOD |
6.5157392e-05 |
| 4,611 |
On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values |
2005 |
PODS |
6.0488752e-05 |
| 4,730 |
On the Equivalence of Database Restructurings Involving Object Identifiers |
1991 |
PODS |
5.967211e-05 |
| 4,894 |
The Expressive Power of Structured Values in Pure OODB's (extended abstract) |
1991 |
PODS |
5.8477088e-05 |
| 4,987 |
Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) |
1988 |
PODS |
5.7844667e-05 |
| 5,238 |
On The Expressive Power Of The Extended Relational Algebra For The Unnormalized Relational Model |
1987 |
PODS |
5.6109061e-05 |
| 8,331 |
New Data Models and Languages - the Challenge |
1992 |
PODS |
4.5435639e-05 |
| 8,454 |
On the power of Rule-Based Languages with Sets |
1991 |
PODS |
4.5082358e-05 |
| 8,570 |
Semi-determinism (extended abstract) |
1992 |
PODS |
4.4937074e-05 |
| 12,828 |
Tutorial: Languages for Collection Types |
1994 |
PODS |
4.1945683e-05 |
| 12,994 |
Some Classes of Multilevel Relational Structures (Extended Abstract) |
1986 |
PODS |
4.1945683e-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,346 |
Languages for Relational Databases over Interpreted Structures |
1997 |
PODS |
6.2725564e-05 |
| 6,693 |
Modelling Non Deterministic Queries and Updates In Deductive Databases |
1988 |
VLDB |
4.9598818e-05 |
| 12,858 |
A Logical Semantics for Object-Oriented Databases |
1993 |
SIGMOD |
4.1945683e-05 |
| 5,601 |
A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract) |
1986 |
PODS |
5.4153386e-05 |
| 14,261 |
On Analogical Query Processing in Logic Database |
1986 |
VLDB |
- |
| 4,413 |
Toward Logical Data Independence: A Relational Query Language without Relations |
1982 |
SIGMOD |
6.205847e-05 |
| 7,525 |
Querying a Multilevel Database: A Logical Analysis |
1996 |
VLDB |
4.7180617e-05 |
| 13,008 |
QUERYING LOGICAL DATABASES: Preliminary Report |
1985 |
PODS |
4.1945683e-05 |
| 1,130 |
On The Algebraic Specification Of Databases |
1982 |
VLDB |
0.00013779273 |
| 3,444 |
A Modal System of Algebras for Database Specification and Query/Update Language Support |
1983 |
VLDB |
7.0871625e-05 |