On the Expressive Power of the Logical Data Model

Summary: Study of the expressive power of the logical data model (LDM); constraint checking is no harder than in the relational model. LDM is essentially first-order, enabling theorem proving for design and deductive queries; cycles do not add power, as cyclic schemas reduce to acyclic ones. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2334
Venue: SIGMOD
Year: 1985
Pagerank: 6.5501272e-05
Overall Rank: 4,713 | 67.67%
DOI: 10.1145/318898.318915

Incoming Non-self Citations Over Time

Authors

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

BibTeX Citation

@inproceedings{kuper_sigmod85,
        title = {{On the Expressive Power of the Logical Data Model}},
        author = {Kuper, Gabriel M. and Vardi, Moshe Y.},
        series = {{SIGMOD} '85},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/318898.318915},
        url = {https://dl.acm.org/doi/10.1145/318898.318915},
        year = {1985}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
782	FAD, a Powerful and Simple Database Language	1987	VLDB	0.00014080876
2,754	Database Theory: Past and Future	1987	PODS	8.164514e-05

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 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.0007727299
15	The Functional Data Model and the Data Language DAPLEX	1979	SIGMOD	0.00061144858
413	Relative Information Capacity of Simple Relational Database Schemata	1984	PODS	0.00018894294
421	The Format Model: A Theory of Database Organization (extended abstract)	1982	PODS	0.00018742219
544	A New Approach to Database Logic	1984	PODS	0.00016792556
589	On The Semantics Of The Relational Data Model	1975	SIGMOD	0.00016066932

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	4,336	Languages for Relational Databases over Interpreted Structures	1997	PODS
2	8,506	Checking Consistency of Database Constraints: a Logical Basis	1986	VLDB
3	13,259	A Theory Of Data Dependencies Over Relational Expressions	1982	PODS
4	14,445	Using Design Axioms and Topology to Model Database Semantics	1987	VLDB
5	8,295	The Expressive Powers of the Logic Programming Semantics	1990	PODS
6	6,722	A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract)	1986	PODS
7	7,452	A Transaction Logic for Database Specification	1988	SIGMOD
8	7,885	IDLOG: Extending the Expressive Power of Deductive Database Languages	1990	SIGMOD
9	3,781	A Modal System of Algebras for Database Specification and Query/Update Language Support	1983	VLDB
10	544	A New Approach to Database Logic	1984	PODS