Generating plans from proofs
Auteur :
Benedikt, Michael / Leblay, Julien / Cate, Balder ten / Tsamoura, Efthymia
Éditeur :
Springer International Publishing AG
ISBN :
9783031007286
Date de publication :
15 mars 2016
Dimensions :
23,5 x 19,1 cm
Langue :
Anglais
Pays d'origine :
Suisse
Query reformulation refers to a process of translating a source query—a request for information in some high-level logic-based language—into a target plan that abides by certain interface restrictions. For example, the problem of translating an SQL query written over a set of base tables into another query written over a set of views;