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
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...