Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management - Michael Benedikt - Bücher - Morgan & Claypool Publishers - 9781627059541 - 15. März 2016
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management


Möchtest Du eine E-Mail, sobald der Artikel verfügbar ist?
Hast du ein Profil? Anmelden
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

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.


205 pages, colour illustrations

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 15. März 2016
ISBN13 9781627059541
Verlag Morgan & Claypool Publishers
Seitenanzahl 205
Maße 152 × 229 × 11 mm   ·   362 g
Sprache Englisch