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

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

Unknown Author

4.9/5 (34317 ratings)

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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation. To get started finding Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: 205

Format: PDF, EPUB & Kindle Edition

Publisher: Morgan & Claypool

Release: 2016

ISBN: 1627059423

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.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation. To get started finding Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

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

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

More Books