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

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

Morgan & Claypool | English | 2016 | ISBN-10: 1627059547 | 205 Pages | PDF | 4.31 mb
by Michael Benedikt (Author)

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.

Download:

http://longfiles.com/ek716xlqb3rj/Generating_Plans_from_Proofs_The_Interpolation-Based_Approach_to_Query_Reformulation.pdf.html

[Fast Download] Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation


Ebooks related to "Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation" :
Datacenter Design and Management: A Computer Architect's Perspective
Learning Qlik Sense?: The Official Guide - Second Edition
Smart Cities
Big Data Technologies and Applications
Business in Real-Time Using Azure IoT and Cortana Intelligence Suite: Driving Your Digital Transform
SQL Server MVP Deep Dives {Repost}
Securing SQL Server: DBAs Defending the Database
Hitchhiker's Guide to Visual Studio and SQL Server: Best Practice Architectures and Examples, 7th Ed
The Manga Guide to Databases
SQL Programming Style
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.