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,366 | An Expressive Language for Linear Spatial Database Queries (extended abstract) | 1998 | PODS | 6.2427716e-05 |
| 4,376 | Safe Constraint Queries | 1998 | PODS | 6.233754e-05 |
| 4,719 | Exact and Approximate Aggregation in Constraint Query Languages | 1999 | PODS | 5.9659829e-05 |
| 5,516 | Expressive power and data complexity of nonrecursive query languages for lists and trees (Extended Abstract) | 2000 | PODS | 5.4685963e-05 |
| 6,795 | Complexity of Nonrecursive Logic Programs with Complex Values | 1998 | PODS | 4.9197522e-05 |
| 12,695 | Uniform Generation in Spatial Constraint Databases and Applications | 2000 | PODS | 4.1905499e-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 |
|---|---|---|---|---|
| 603 | On the Complexity of Bounded-Variable Queries | 1995 | PODS | 0.00019334592 |
| 1,738 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 0.00010704219 |
| 2,790 | An Axiomatic Approach to Deciding Query Safety in Deductive Databases | 1988 | PODS | 8.1203289e-05 |
| 2,836 | Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions | 1993 | PODS | 8.0466188e-05 |
| 3,787 | Linear vs. Order Constraint Queries Over Rational Databases (Extended Abstract) | 1996 | PODS | 6.7633131e-05 |
| 4,378 | Functional and Predicative programming in OODB's | 1992 | PODS | 6.2329359e-05 |
| 5,946 | Safety and Translation of Calculus Queries with Scalar Functions (Extended Abstract) | 1993 | PODS | 5.2578843e-05 |