Generating plans from proofs

DOI10.1145/2847523MaRDI QIDQ5012541zbMATH OpenOpenAlexWikidataFDO

Authors Michael Benedikt, Balder ten Cate, Efthymia Tsamoura

Publication date 25 November 2021

Published in ACM Transactions on Database Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2847523

zbMATH Keywords

access methodshidden weboptimization

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Recursive query plans for data integration
• On enumerating query plans using analytic tableau
• Generating plans from proofs. The interpolation-based approach to query reformulation
• Foundations of Information and Knowledge Systems
• Answering queries with useful bindings

Cited in

(13)

• Generating plans from proofs. The interpolation-based approach to query reformulation
• Concept Formation via Proof Planning Failure
• On enumerating query plans using analytic tableau
• scientific article; zbMATH DE number 1305704 (Why is no real title available?)
• scientific article; zbMATH DE number 1926636 (Why is no real title available?)
• Recursive query plans for data integration
• When can we answer queries using result-bounded data interfaces?
• A deductive solution for plan generation
• Foundations of Information and Knowledge Systems
• Executable first-order queries in the logic of information flows
• Craig interpolation for decidable first-order fragments
• Craig interpolation for decidable fragments of first-order logic (invited talk)
• Craig interpolation for decidable first-order fragments

This page was built for publication: Generating plans from proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5012541)