Für diesen Artikel ist leider kein Bild verfügbar.

Generating Plans from Proofs

The Interpolation-based Approach to Query Reformulation
Buch | Softcover
205 Seiten
2016
Morgan and Claypool Life Sciences (Verlag)
978-1-62705-954-1 (ISBN)
95,95 inkl. MwSt
Query reformulation refers to a process of translating a source query 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. This book approaches query reformulation in a very general setting that encompasses these problems, by relating it to a line of research within mathematical logic.
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.

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.

Preface
Acknowledgments
Introduction
Vocabulary-based Target Restrictions
Access Methods and Integrity Constraints
Reformulation Algorithms for TGDs
Low-cost Plans Via Proof Search
Conclusion
Bibliography
Authors' Biographies
Index

Erscheinungsdatum
Reihe/Serie Synthesis Lectures on Data Management
Verlagsort San Rafael, CA
Sprache englisch
Maße 191 x 235 mm
Gewicht 333 g
Themenwelt Mathematik / Informatik Informatik Datenbanken
Informatik Software Entwicklung User Interfaces (HCI)
Mathematik / Informatik Mathematik Computerprogramme / Computeralgebra
ISBN-10 1-62705-954-7 / 1627059547
ISBN-13 978-1-62705-954-1 / 9781627059541
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional …

von Mahbouba Gharbi; Arne Koschel; Andreas Rausch; Gernot Starke

Buch | Hardcover (2023)
dpunkt Verlag
34,90
Lean UX und Design Thinking: Teambasierte Entwicklung …

von Toni Steimle; Dieter Wallach

Buch | Hardcover (2022)
dpunkt (Verlag)
34,90
Wissensverarbeitung - Neuronale Netze

von Uwe Lämmel; Jürgen Cleve

Buch | Hardcover (2023)
Carl Hanser (Verlag)
34,99