Powiedz znajomym o tym przedmiocie:
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management Michael Benedikt
Czy masz profil? Zaloguj się
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management
Michael Benedikt
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 |
Zobacz wszystko od Michael Benedikt ( np. Paperback Book i Book )