Synthesizing Nested Relational Queries from Implicit Specifications
Summary: Effective Beth-style implicit→explicit conversion for nested relations: from a proof of implicit definability in the natural nested-logic, synthesize an explicit NRC query. Yields effective extraction of NRC rewritings of queries using NRC views from determinacy proofs. (summarized by gpt-5-mini on Feb 09 2026)
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 |
|---|---|---|---|---|
| 2,034 | Views and Queries: Determinacy and Rewriting | 2005 | PODS | 9.7156155e-05 |
| 4,611 | On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values | 2005 | PODS | 6.0488752e-05 |
| 6,275 | Determinacy of Real Conjunctive Queries. The Boolean Case | 2022 | PODS | 5.1319495e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,346 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2725564e-05 |
| 8,226 | An Implementation Model For Reasoning With Complex Objects | 1988 | SIGMOD | 4.5551494e-05 |
| 2,536 | Rewriting Queries Using Views in Description Logics | 1997 | PODS | 8.5837937e-05 |
| 12,534 | A Nested Relational Approach to Processing SQL Subqueries | 2005 | SIGMOD | 4.1945683e-05 |
| 6,038 | Performing Inferences Over Relation Data Bases | 1975 | SIGMOD | 5.2415551e-05 |
| 4,169 | Reasoning about Nested Functional Dependencies | 1999 | PODS | 6.3905263e-05 |
| 8,704 | Equivalence of Nested Queries with Mixed Semantics | 2009 | PODS | 4.4647149e-05 |
| 2,110 | A Recursive Algebra and Query Optimization for Nested Relations | 1989 | SIGMOD | 9.5315487e-05 |
| 9,510 | Nested Relation Based Database Knowledge Representation | 1991 | SIGMOD | 4.3341665e-05 |
| 13,419 | A Dichotomy in the Intensional Expressive Power of Nested Relational Calculi augmented with Aggregate Functions and a Powerset Operator | 2013 | PODS | - |