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,039 | Views and Queries: Determinacy and Rewriting | 2005 | PODS | 9.7059912e-05 |
| 4,612 | On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values | 2005 | PODS | 6.0428289e-05 |
| 6,273 | Determinacy of Real Conjunctive Queries. The Boolean Case | 2022 | PODS | 5.1270241e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,343 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2665123e-05 |
| 8,224 | An Implementation Model For Reasoning With Complex Objects | 1988 | SIGMOD | 4.550782e-05 |
| 2,539 | Rewriting Queries Using Views in Description Logics | 1997 | PODS | 8.5759464e-05 |
| 12,543 | A Nested Relational Approach to Processing SQL Subqueries | 2005 | SIGMOD | 4.1905499e-05 |
| 6,043 | Performing Inferences Over Relation Data Bases | 1975 | SIGMOD | 5.2365238e-05 |
| 4,166 | Reasoning about Nested Functional Dependencies | 1999 | PODS | 6.3843679e-05 |
| 8,699 | Equivalence of Nested Queries with Mixed Semantics | 2009 | PODS | 4.4604187e-05 |
| 2,109 | A Recursive Algebra and Query Optimization for Nested Relations | 1989 | SIGMOD | 9.5283567e-05 |
| 9,511 | Nested Relation Based Database Knowledge Representation | 1991 | SIGMOD | 4.3300131e-05 |
| 13,432 | A Dichotomy in the Intensional Expressive Power of Nested Relational Calculi augmented with Aggregate Functions and a Powerset Operator | 2013 | PODS | - |