Pastāsti draugiem par šo preci:
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management Michael Benedikt
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Michael Benedikt izdevumiem
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2016. gada 15. marts |
| ISBN13 | 9781627059541 |
| Izdevēji | Morgan & Claypool Publishers |
| Lapas | 205 |
| Izmēri | 152 × 229 × 11 mm · 362 g |
| Valoda | Angļu |