Generating plans from proofs: the interpolation-based approach to query reformulation /

Query reformulation refers to a process of translating a source query--a request for information in some high-level logic-based language--into a target plan that abides by certain interface restrictions. Many practical problems in data management can be seen as instances of the reformulation problem...

Full description

Bibliographic Details

Main Authors:	Benedikt, Michael (Author), Cate, Balder David ten (Author), Leblay, Julien (Author), Tsamoura, Efthymia (Author)
Format:	eBook
Language:	English
Published:	San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016.
Series:	Synthesis lectures on data management ; # 43.
Subjects:	Querying (Computer science) Beth definability Craig interpolation data integration query optimization query reformulation tableau views Electronic books.
Online Access:	Connect to the full text of this electronic book