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,942 | Querying with Access Patterns and Integrity Constraints | 2015 | VLDB | 7.8464054e-05 |
| 8,254 | PDQ: Proof-driven Query Answering over Web-based Data | 2014 | VLDB | 4.5442665e-05 |
| 11,677 | Block as a Value for SQL over NoSQL | 2019 | VLDB | 4.1905499e-05 |
| 11,836 | Designing a Query Language for RDF: Marrying Open and Closed Worlds | 2016 | PODS | 4.1905499e-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.00054430106 |
| 867 | Query Optimization in the Presence of Limited Access Patterns | 1999 | SIGMOD | 0.00015757737 |
| 2,398 | Physical Data Independence, Constraints, and Optimization with Universal Plans | 1999 | VLDB | 8.8871067e-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.3429366e-05 |
| 7,561 | Complete Approximations of Incomplete Queries | 2013 | VLDB | 4.7057229e-05 |
| 3,069 | Processing First-Order Queries under Limited Access Patterns | 2004 | PODS | 7.6161135e-05 |
| 8,254 | PDQ: Proof-driven Query Answering over Web-based Data | 2014 | VLDB | 4.5442665e-05 |
| 1,287 | Multiple Query Processing in Deductive Databases using Query Graphs | 1986 | VLDB | 0.00012798692 |
| 867 | Query Optimization in the Presence of Limited Access Patterns | 1999 | SIGMOD | 0.00015757737 |
| 6,167 | Approximate Lifted Inference with Probabilistic Databases | 2015 | VLDB | 5.1725053e-05 |
| 8,941 | Efficiently Ordering Subgoals with Access Constraints [Extended Abstract] | 2006 | PODS | 4.4229886e-05 |
| 6,567 | Generating Efficient Plans for Queries Using Views | 2001 | SIGMOD | 5.0023017e-05 |
| 2,942 | Querying with Access Patterns and Integrity Constraints | 2015 | VLDB | 7.8464054e-05 |