Fortell venner om denne varen:
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management Michael Benedikt
Har du en profil? Logg inn
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 15. mars 2016 |
| ISBN13 | 9781627059541 |
| Utgivere | Morgan & Claypool Publishers |
| Antall sider | 205 |
| Mål | 152 × 229 × 11 mm · 362 g |
| Språk | Engelsk |
Se alt med Michael Benedikt ( f.eks. Pocketbok og Bok )