On enumerating query plans using analytic tableau

DOI10.1007/978-3-319-24312-2_23MaRDI QIDQ3455780zbMATH OpenOpenAlexFDO

Authors Alexander Hudek, David Toman, Grant E. Weddell

Publication date 11 December 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-24312-2_23

Mathematics Subject Classification ID

Logic in computer science (03B70) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 3982574
• scientific article; zbMATH DE number 4039354
• Generating plans from proofs
• Generating plans from proofs. The interpolation-based approach to query reformulation
• scientific article; zbMATH DE number 2080021

Cites work

• A relational model of data for large shared data banks
• Beth definability in expressive description logics
• Database Repairing and Consistent Query Answering
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 3085803 (Why is no real title available?)
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Untersuchungen über das logische Schliessen. I

Cited in

(4)

• Craig interpolation with clausal first-order tableaux
• scientific article; zbMATH DE number 3982574 (Why is no real title available?)
• Generating plans from proofs
• Range-restricted and Horn interpolation through clausal tableaux

This page was built for publication: On enumerating query plans using analytic tableau

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