On Enumerating Query Plans Using Analytic Tableau

DOI10.1007/978-3-319-24312-2_23zbMath1471.68084OpenAlexW2295028107MaRDI QIDQ3455780

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

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

Related Items (1)

Craig interpolation with clausal first-order tableaux

Cites Work

• Untersuchungen über das logische Schliessen. I
• Beth Definability in Expressive Description Logics
• Database Repairing and Consistent Query Answering
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• A relational model of data for large shared data banks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Enumerating Query Plans Using Analytic Tableau