Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation - Synthesis Lectures on Data Management - Michael Benedikt - Libros - Morgan & Claypool Publishers - 9781627059541 - 15 de marzo de 2016
En caso de que portada y título no coincidan, el título será el correcto

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


Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 15 de marzo de 2016
ISBN13 9781627059541
Editores Morgan & Claypool Publishers
Páginas 205
Dimensiones 152 × 229 × 11 mm   ·   362 g
Lengua Inglés