Synthesis Lectures on Data Management

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

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

Synthesis Lectures on Data Management

Michael Benedikt, Julien Leblay, Balder Ten Cate

205 pages • missing pub info (editions)

nonfiction computer science science challenging informative medium-paced
More...