Verwandte Artikel zu Generating Plans from Proofs: The Interpolation-based...
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation (Synthesis Lectures on Data Management) - Softcover
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Ü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.
EUR 11,89
EUR 15,00 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 116,19
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Generating Plans from Proofs: The Interpolation-based...
Foto des Verkäufers
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation (Synthesis Lectures on Data Management)
Verlag:
Morgan & Claypool Publishers, 2016
ISBN 10: 1627059547
ISBN 13: 9781627059541
Gebraucht
Soft cover
Anbieter: Our Kind Of Books, Liphook, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Soft cover. Zustand: As New. This book has been in storage since publication and is unread. Hence the description as new . Bestandsnummer des Verkäufers 2305337
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 205 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 26699742/1
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation (Synthesis Lectures on Data Management)
Anbieter: suffolkbooks, Center moriches, NY, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Very Good. Fast Shipping - Safe and Secure 7 days a week! Bestandsnummer des Verkäufers 3TWOWA001MMI
Anzahl: 3 verfügbar
Foto des Verkäufers
Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 464165742
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation (Synthesis Lectures on Data Management)
Verlag:
Morgan & Claypool Publishers, 2016
ISBN 10: 1627059547
ISBN 13: 9781627059541
Gebraucht
paperback
Anbieter: dsmbooks, Liverpool, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Very Good. Very Good. book. Bestandsnummer des Verkäufers D8S0-3-M-1627059547-4
Anzahl: 1 verfügbar