Database Paper Browser

Back to papers

The Finite Model Theory Toolbox of a Database Theoretician

Summary: Practical survey presenting a ready-to-use finite model theory toolbox for database theorists, emphasizing usable results (locality, preservation, definability, model-theoretic reductions) rather than proofs or combinatorial games. Equips DB researchers to apply these tools directly to expressiveness, query languages, and complexity/decidability questions. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1478
Venue
PODS
Year
2009
Pagerank
4.1905499e-05
Overall Rank
12,300 | 14.52%
DOI
-

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank Citing Paper Year Venue Pagerank
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 3 of 3 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
603 On the Complexity of Bounded-Variable Queries 1995 PODS 0.00019334592
1,374 Monadic Datalog and the Expressive Power of Languages for Web Information Extraction 2002 PODS 0.00012325543
4,076 Two-Variable Logic on Data Trees and XML Reasoning 2006 PODS 6.4657154e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
14,319 Database Theory: Where Has It Been? Where Is It Going? 1983 SIGMOD -
6,380 Finite Queries do not Have Effective Syntax 1995 PODS 5.0841675e-05
1,450 Theory of Database Queries (Extended Abstract) 1988 PODS 0.00011926567
14,317 Information Theoretic Aspects Of Data Bases 1983 PODS -
4,401 On Preservation under Homomorphisms and Unions of Conjunctive Queries 2004 PODS 6.2096576e-05
14,064 Database Metatheory: Asking the Big Queries 1995 PODS -
2,473 Graph-Theoretic Methods In Database Theory 1990 PODS 8.7048914e-05
1,687 Automata Theory for Database Theoreticians 1989 PODS 0.0001090256
1,648 Finitely Representable Databases 1994 PODS 0.00011007456
12,801 Combinatorial Games in Database Theory 1995 PODS 4.1905499e-05