Languages for Relational Databases over Interpreted Structures
Summary: Reworks relational theory for domains with interpreted operations, classifying which equivalences and expressive-characterizations hold unchanged, which require well-behaved structures, and which phenomena are specific to the interpreted setting. Provides algorithms to eliminate unbounded quantifiers (collapsing natural to active-domain semantics in many cases), normal forms for mixed higher-order logics, and an elementary proof that parity is undefinable in the relational calculus with polynomial inequality constraints. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 6 of 6 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,369 | An Expressive Language for Linear Spatial Database Queries (extended abstract) | 1998 | PODS | 6.2487721e-05 |
| 4,379 | Safe Constraint Queries | 1998 | PODS | 6.2397591e-05 |
| 4,723 | Exact and Approximate Aggregation in Constraint Query Languages | 1999 | PODS | 5.9714196e-05 |
| 5,503 | Expressive power and data complexity of nonrecursive query languages for lists and trees (Extended Abstract) | 2000 | PODS | 5.4738619e-05 |
| 6,794 | Complexity of Nonrecursive Logic Programs with Complex Values | 1998 | PODS | 4.9244886e-05 |
| 12,686 | Uniform Generation in Spatial Constraint Databases and Applications | 2000 | PODS | 4.1945683e-05 |
Outgoing Citations (Sorted by Pagerank)
Showing 7 of 7 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 602 | On the Complexity of Bounded-Variable Queries | 1995 | PODS | 0.00019352415 |
| 1,741 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 0.00010714223 |
| 2,786 | An Axiomatic Approach to Deciding Query Safety in Deductive Databases | 1988 | PODS | 8.1283801e-05 |
| 2,830 | Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions | 1993 | PODS | 8.054172e-05 |
| 3,784 | Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) | 1996 | PODS | 6.7697677e-05 |
| 4,381 | Functional and Predicative programming in OODB's | 1992 | PODS | 6.2389434e-05 |
| 5,943 | Safety and Translation of Calculus Queries with Scalar Functions (Extended Abstract) | 1993 | PODS | 5.2629428e-05 |