Fortæl dine venner om denne vare:
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management Michael Benedikt
Har du en konto? Log ind
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 15. marts 2016 |
| ISBN13 | 9781627059541 |
| Forlag | Morgan & Claypool Publishers |
| Antal sider | 205 |
| Mål | 152 × 229 × 11 mm · 362 g |
| Sprog | Engelsk |
Se alt med Michael Benedikt ( f.eks. Paperback Bog og Bog )