
Generating Plans from Proofs
The Interpolation-based Approach to Query Reformulation
Morgan and Claypool Life Sciences (Publisher)
Published on 30. March 2016
Book
Paperback/Softback
205 pages
978-1-62705-954-1 (ISBN)
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 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 APIs; the problem of implementing a query using a collection of web services.
In this book we approach query reformulation in a very general setting that encompasses all the problems above, by relating it to a line of research within mathematical logic. For many decades logicians have looked at the problem of converting ""implicit definitions"" into ""explicit definitions,"" using an approach known as interpolation. We will review the theory of interpolation, and explain its close connection with query reformulation. We will give a detailed look at how the interpolation-based approach is used to generate translations between logic-based queries over different vocabularies, and also how it can be used to go from logic-based queries to programs.
In this book we approach query reformulation in a very general setting that encompasses all the problems above, by relating it to a line of research within mathematical logic. For many decades logicians have looked at the problem of converting ""implicit definitions"" into ""explicit definitions,"" using an approach known as interpolation. We will review the theory of interpolation, and explain its close connection with query reformulation. We will give a detailed look at how the interpolation-based approach is used to generate translations between logic-based queries over different vocabularies, and also how it can be used to go from logic-based queries to programs.
More details
Series
Language
English
Place of publication
San Rafael, CA
United States
Publishing group
Morgan & Claypool Publishers
Target group
Professional and scholarly
Dimensions
Height: 229 mm
Width: 152 mm
Weight
333 gr
ISBN-13
978-1-62705-954-1 (9781627059541)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Michael Benedikt, Oxford University, UK>
Julien Leblay, National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan.
Balder ten Cate, Google, Inc.
Efthymia Tsamoura, Oxford University, UK.
Julien Leblay, National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan.
Balder ten Cate, Google, Inc.
Efthymia Tsamoura, Oxford University, UK.