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;