Synthesis Lectures on Data Management

Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation by Balder Ten Cate, Michael Benedikt, Julien Leblay

Generating Plans from Proofs: The Interpolation-Based Approach to Query Reformulation

Synthesis Lectures on Data Management

Balder Ten Cate, Michael Benedikt, Julien Leblay

205 pages • missing pub info (editions)

nonfiction computer science science challenging informative medium-paced