Gå direkte til innholdet
Generating Plans from Proofs
Spar

Generating Plans from Proofs

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;
ISBN
9783031007286
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
15.3.2016
Antall sider
185