Articles liés à Generating Plans from Proofs: The Interpolation-based...
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 116,19
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Generating Plans from Proofs: The Interpolation-based...
Image fournie par le vendeur
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation (Synthesis Lectures on Data Management)
Edité par
Morgan & Claypool Publishers, 2016
ISBN 10 : 1627059547
ISBN 13 : 9781627059541
Ancien ou d'occasion
Soft cover
Vendeur : Our Kind Of Books, Liphook, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Soft cover. Etat : As New. This book has been in storage since publication and is unread. Hence the description as new . N° de réf. du vendeur 2305337
Quantité disponible : 1 disponible(s)
Image d'archives
Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation
Edité par
MORGAN & CLAYPOOL, 2016
ISBN 10 : 1627059547
ISBN 13 : 9781627059541
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Hervorragend. Zustand: Hervorragend | Seiten: 205 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 26699742/1
Quantité disponible : 1 disponible(s)
Image d'archives
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation (Synthesis Lectures on Data Management)
Edité par
Morgan & Claypool, 2016
ISBN 10 : 1627059547
ISBN 13 : 9781627059541
Ancien ou d'occasion
paperback
Vendeur : suffolkbooks, Center moriches, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
paperback. Etat : Very Good. Fast Shipping - Safe and Secure 7 days a week! N° de réf. du vendeur 3TWOWA001MMI
Quantité disponible : 3 disponible(s)
Image fournie par le vendeur
Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation
Edité par
MORGAN & CLAYPOOL, 2016
ISBN 10 : 1627059547
ISBN 13 : 9781627059541
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnQuery 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 d. N° de réf. du vendeur 464165742
Quantité disponible : Plus de 20 disponibles
Image d'archives
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation (Synthesis Lectures on Data Management)
Edité par
Morgan & Claypool Publishers, 2016
ISBN 10 : 1627059547
ISBN 13 : 9781627059541
Ancien ou d'occasion
paperback
Vendeur : dsmbooks, Liverpool, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
paperback. Etat : Very Good. Very Good. book. N° de réf. du vendeur D8S0-3-M-1627059547-4
Quantité disponible : 1 disponible(s)