Titel: Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation (Synthesis Lectures on Data Management)
Verlag: Morgan & Claypool
Erscheinungsjahr: 2016
Sprache: Englisch
ISBN-10: 1627059547
ISBN-13: 9781627059541
Einband: paperback
Zustand: Very Good

�ber diesen Titel

Inhaltsangabe

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.

�ber die Autorin bzw. den Autor

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Selling quality used books for over 20 years

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Suffolk Book Center Inc
7 canal street, center moriches, NY, 11934, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.