Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management - Michael Benedikt - Książki - Morgan & Claypool Publishers - 9781627059541 - 15 marca 2016
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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


Otrzymaj e-mail, gdy przedmiot będzie dostępny
Czy masz profil? Zaloguj się
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 15 marca 2016
ISBN13 9781627059541
Wydawcy Morgan & Claypool Publishers
Strony 205
Wymiary 152 × 229 × 11 mm   ·   362 g
Język Angielski