Generating Low-cost Plans From Proofs
Summary: Reduce plan search to proof search: map proofs of query answerability (via interpolation) to restricted-interface access plans, exploiting integrity constraints and TGDs to answer queries without direct relation access. Provide algorithms to generate and cost-optimize alternative proof-derived plans, generalizing preservation/interpolation links in reformulation problems. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 4 of 4 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,936 | Querying with Access Patterns and Integrity Constraints | 2015 | VLDB | 7.8554347e-05 |
| 8,259 | PDQ: Proof-driven Query Answering over Web-based Data | 2014 | VLDB | 4.5486275e-05 |
| 11,672 | Block as a Value for SQL over NoSQL | 2019 | VLDB | 4.1945683e-05 |
| 11,828 | Designing a Query Language for RDF: Marrying Open and Closed Worlds | 2016 | PODS | 4.1945683e-05 |
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 |
|---|---|---|---|---|
| 82 | Answering Queries Using Views (Extended Abstract) | 1995 | PODS | 0.00054402763 |
| 870 | Query Optimization in the Presence of Limited Access Patterns | 1999 | SIGMOD | 0.00015771912 |
| 2,401 | Physical Data Independence, Constraints, and Optimization with Universal Plans | 1999 | VLDB | 8.8954126e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,745 | Integrity Constraint Reformulation for Efficient Validation | 1987 | VLDB | 5.3440873e-05 |
| 3,065 | Processing First-Order Queries under Limited Access Patterns | 2004 | PODS | 7.6230903e-05 |
| 7,560 | Complete Approximations of Incomplete Queries | 2013 | VLDB | 4.7102455e-05 |
| 8,259 | PDQ: Proof-driven Query Answering over Web-based Data | 2014 | VLDB | 4.5486275e-05 |
| 1,291 | Multiple Query Processing in Deductive Databases using Query Graphs | 1986 | VLDB | 0.00012794369 |
| 870 | Query Optimization in the Presence of Limited Access Patterns | 1999 | SIGMOD | 0.00015771912 |
| 6,169 | Approximate Lifted Inference with Probabilistic Databases | 2015 | VLDB | 5.1716068e-05 |
| 8,937 | Efficiently Ordering Subgoals with Access Constraints [Extended Abstract] | 2006 | PODS | 4.427232e-05 |
| 6,567 | Generating Efficient Plans for Queries Using Views | 2001 | SIGMOD | 5.0069599e-05 |
| 2,936 | Querying with Access Patterns and Integrity Constraints | 2015 | VLDB | 7.8554347e-05 |