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: h860b40341900ee86
Venue: PODS
Year: 1984
Pagerank: 0.00016361117
Overall Rank: 561 | 96.25%
DOI: 10.1145/588011.588026

Incoming Non-self Citations Over Time

Authors

1. Gabriel M. Kuper (Stanford University)
2. Moshe Y. Vardi (IBM)

BibTeX Citation

@inproceedings{kuper_pods84,
        address = {New York, NY, USA},
        series = {{PODS} '84},
        title = {{A New Approach to Database Logic}},
        url = {https://dl.acm.org/doi/10.1145/588011.588026},
        doi = {10.1145/588011.588026},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Kuper, Gabriel M. and Vardi, Moshe Y.},
        year = {1984}
}

Incoming Citations (Sorted by Pagerank)

Showing 27 of 27 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
368	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00019850502
763	O2, an Object-Oriented Data Model	1988	SIGMOD	0.00014111102
810	FAD, a Powerful and Simple Database Language	1987	VLDB	0.0001372686
831	Logic Programming With Sets	1987	PODS	0.00013564613
908	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD	0.00013123298
1,004	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB	0.00012557552
1,961	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.2843909e-05
2,466	Untyped Sets, Invention, and Computable Queries	1989	PODS	8.4057294e-05
2,669	A Graph-Oriented Object Database Model	1990	PODS	8.1313046e-05
2,840	Modeling Complex Structures in Object-Oriented Databases	1989	PODS	7.9379573e-05
2,982	On the Expressive Power of Database Queries with Intermediate Types	1988	PODS	7.7719553e-05
3,058	Tractable Query Languages for Complex Object Databases	1991	PODS	7.6853469e-05
3,155	C-Logic of Complex Objects	1989	PODS	7.5700426e-05
3,560	Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm	1990	SIGMOD	7.1848266e-05
3,641	The Powerset Algebra As A Result Of Adding Programming Constructs To The Nested Relational Algebra	1988	SIGMOD	7.1238143e-05
4,664	On the Equivalence of Database Restructurings Involving Object Identifiers	1991	PODS	6.4635254e-05
4,831	On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values	2005	PODS	6.3838625e-05
4,834	On the Expressive Power of the Logical Data Model	1985	SIGMOD	6.3799062e-05
5,048	A Grammar-Based Approach Towards Unifying Hierarchical Data Models (extended abstract)	1989	SIGMOD	6.2877212e-05
5,077	The Expressive Power of Structured Values in Pure OODB's (extended abstract)	1991	PODS	6.2719516e-05
5,306	Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL)	1988	PODS	6.1746107e-05
5,693	On The Expressive Power Of The Extended Relational Algebra For The Unnormalized Relational Model	1987	PODS	6.0176113e-05
8,757	New Data Models and Languages - the Challenge	1992	PODS	5.2705676e-05
8,963	Semi-determinism (extended abstract)	1992	PODS	5.2361195e-05
13,359	Tutorial: Languages for Collection Types	1994	PODS	4.9605343e-05
13,434	On the power of Rule-Based Languages with Sets	1991	PODS	4.9605343e-05
13,529	Some Classes of Multilevel Relational Structures (Extended Abstract)	1986	PODS	4.9605343e-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.

Rank	Cited Paper	Year	Venue	Pagerank
10	Extending the Data Base Relational Model to Capture More Meaning	1979	SIGMOD	0.00075677079
437	The Format Model: A Theory of Database Organization (extended abstract)	1982	PODS	0.00018259668

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	4,448	Languages for Relational Databases over Interpreted Structures	1997	PODS
2	6,914	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB
3	13,389	A Logical Semantics for Object-Oriented Databases	1993	SIGMOD
4	6,879	A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract)	1986	PODS
5	14,818	On Analogical Query Processing in Logic Database	1986	VLDB
6	4,380	Toward Logical Data Independence: A Relational Query Language without Relations	1982	SIGMOD
7	8,138	Querying a Multilevel Database: A Logical Analysis	1996	VLDB
8	13,544	QUERYING LOGICAL DATABASES: Preliminary Report	1985	PODS
9	2,326	On the Algebraic Specification of Databases	1982	VLDB
10	3,866	A Modal System of Algebras for Database Specification and Query/Update Language Support	1983	VLDB