{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:14:04Z","timestamp":1725675244714},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We outline the implementation of a query compiler for relational queries that generates query plans with respect to a database schema, that is, a set of arbitrary first-order constraints, and a distinguished subset of predicate symbols from the underlying signature that correspond to access paths. The compiler is based on a variant of the Craig interpolation theorem, with reasoning realized via a modified analytic tableau proof procedure. This procedure decouples the generation of candidate plans that are interpolants from the tableau proof procedure, and applies A*-based search with respect to an external cost model to arbitrate among the alternative candidate plans. The tableau procedure itself is implemented as a virtual machine that operates on a compiled and optimized byte-code that faithfully implements reasoning with respect to the database schema constraints and a user query.<\/jats:p>","DOI":"10.29007\/53fk","type":"proceedings-article","created":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T07:30:31Z","timestamp":1515742231000},"page":"1--10","source":"Crossref","is-referenced-by-count":1,"title":["An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)"],"prefix":"10.29007","volume":"1","author":[{"given":"David","family":"Toman","sequence":"first","affiliation":[]},{"given":"Grant","family":"Weddell","sequence":"additional","affiliation":[]}],"member":"11545","event":{"name":"IWIL Workshop and LPAR Short Presentations"},"container-title":["Kalpa Publications in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T07:30:35Z","timestamp":1515742235000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/5t5r"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/53fk","relation":{},"ISSN":["2515-1762"],"issn-type":[{"type":"print","value":"2515-1762"}],"subject":[]}}