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
Få varsel om nye utgivelser fra Michael Benedikt
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 |