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
Powered by AI (Beta)
Loading...

Description

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. Many practical problems in data management ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...