Finitely Representable Databases
Summary: Defines infinite yet finitely representable databases via constraint-based decidable FO theories, motivated by spatial applications. Proves this class violates core classical and finite-model-theory results (compactness, completeness, locality, 0/1-laws), undermining tools for relational-calculus query definability. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Stephane Grumbach (INRIA)
- 2. Jianwen Su (University of California Santa Barbara)
BibTeX Citation
@inproceedings{grumbach_pods94,
address = {New York, NY, USA},
series = {{PODS} '94},
title = {{Finitely Representable Databases}},
url = {https://dl.acm.org/doi/10.1145/182591.182654},
doi = {10.1145/182591.182654},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Grumbach, Stephane and Su, Jianwen},
year = {1994}
}Incoming Citations (Sorted by Pagerank)
Showing 10 of 10 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 917 | Constraint Programming and Database Languages: A Tutorial | 1995 | PODS | 0.00013054852 |
| 1,515 | Towards a Theory of Spatial Database Queries (Extended Abstract) | 1994 | PODS | 0.00010390168 |
| 1,962 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 9.2843518e-05 |
| 3,781 | Topological Queries in Spatial Databases | 1996 | PODS | 7.0032193e-05 |
| 4,130 | Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) | 1996 | PODS | 6.7751214e-05 |
| 5,672 | Dense-Order Constraint Databases (Extended Abstract) | 1995 | PODS | 6.0253577e-05 |
| 5,857 | On the Containment and Equivalence of Database Queries with Linear Constraints* (Extended Abstract) | 1997 | PODS | 5.9512616e-05 |
| 6,086 | Measuring Infinite Relations (Extended Abstract) | 1995 | PODS | 5.8743333e-05 |
| 8,754 | Towards Practical Constraint Databases (Extended Abstract) | 1996 | PODS | 5.2705676e-05 |
| 13,325 | Space-Bounded FOIES | 1995 | PODS | 4.9605343e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 428 | Relative Information Capacity of Simple Relational Database Schemata | 1984 | PODS | 0.00018419906 |
| 917 | Constraint Programming and Database Languages: A Tutorial | 1995 | PODS | 0.00013054852 |
| 2,051 | Indexing for Data Models with Constraints and Classes (Extended Abstract) | 1993 | PODS | 9.1080736e-05 |
| 4,250 | Completeness Results for Recursive Data Bases | 1993 | PODS | 6.6908044e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 4,448 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS |
| 2 | 6,317 | Probabilistic Databases with an Infinite Open-World Assumption | 2019 | PODS |
| 3 | 7,523 | Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable. | 2016 | PODS |
| 4 | 5,672 | Dense-Order Constraint Databases (Extended Abstract) | 1995 | PODS |
| 5 | 8,702 | Checking Consistency of Database Constraints: a Logical Basis | 1986 | VLDB |
| 6 | 4,130 | Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) | 1996 | PODS |
| 7 | 4,286 | On Preservation under Homomorphisms and Unions of Conjunctive Queries | 2004 | PODS |
| 8 | 4,344 | Relational Specifications of Infinite Query Answers | 1989 | SIGMOD |
| 9 | 12,827 | The Finite Model Theory Toolbox of a Database Theoretician | 2009 | PODS |
| 10 | 6,422 | Finite Queries do not Have Effective Syntax | 1995 | PODS |