Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation

DOI10.2200/S00703ED1V01Y201602DTM043zbMath1345.68003OpenAlexW2545449716WikidataQ113714806 ScholiaQ113714806MaRDI QIDQ2799047

Balder ten Cate, Efthymia Tsamoura, Julien Leblay, Michael Benedikt

Publication date: 8 April 2016

Published in: Synthesis Lectures on Data Management (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2200/s00703ed1v01y201602dtm043

zbMATH Keywords

interpolationquery reformulationtranslations between logic-based queries

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (5)

On Monotonic Determinacy and Rewritability for Recursive Queries and Views ⋮ Craig interpolation with clausal first-order tableaux ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ A monotone preservation result for Boolean queries expressed as a containment of conjunctive queries ⋮ Unnamed Item

This page was built for publication: Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation