Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation by Michael Benedikt, Julien Leblay, Balder Ten Cate

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

Synthesis Lectures on Data Management

Michael Benedikt, Julien Leblay, Balder Ten Cate

205 pages missing pub info (editions)

nonfiction computer science science challenging informative medium-paced

Description

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 ...

Read more

Community reviews

This book doesn't have any reviews or ratings yet!

If you've read it, mark it as 'read' and add a review to help others in the StoryGraph community figure out if it might be a book for them!

Content Warnings

This book doesn't have any content warnings yet!

If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.