Skip to main content

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

by , ,

Write The First Customer Review
Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation - Benedikt, Michael, and Leblay, Julien, and Ten Cate, Balder
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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. For example, the problem of translating an SQL query written over a set of base tables into another query written over a set of views; the problem of implementing a query via translating to a program calling a set of database ...

Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation 2016, Morgan & Claypool, San Rafael

ISBN-13: 9781627059541

Trade paperback

Select