Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management - Michael Benedikt - Bøker - Morgan & Claypool Publishers - 9781627059541 - 15. mars 2016
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management


Få en e-post når varen er tilgjengelig
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

Ikke vurdert ennå

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  

Mer med Michael Benedikt

Mer fra samme **utgiver**