Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management - Michael Benedikt - Books - Morgan & Claypool Publishers - 9781627059541 - March 15, 2016
In case cover and title do not match, the title is correct

Michael Benedikt
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management

Get an email once the item is available
Do you have a profile? Log in
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Query reformulation refers to a process of translating a source query 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. This book approaches query reformulation in a very general setting that encompasses these problems, by relating it to a line of research within mathematical logic.

205 pages, colour illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 15, 2016
ISBN13 9781627059541
Publishers Morgan & Claypool Publishers
Pages 205
Dimensions 152 × 229 × 11 mm   ·   362 g
Language English  

See all of Michael Benedikt ( e.g. Paperback Book and Book )