VSL 2014: VIENNA SUMMER OF LOGIC 2014

On Enumerating Query Plans via Interpolants from Tableau Proofs (abstract)

Authors: David Toman and Grant Weddell

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:On Enumerating Query Plans via Interpolants from Tableau Proofs (abstract)
Authors:David Toman and Grant Weddell
Proceedings:iPRA 2014 Proceedings
Editors: Laura Kovacs and Georg Weissenbacher
Keywords:query optimization, query plan generation, tableau
Abstract:(see attached abstract)
Pages:1
Talk:Jul 17 16:30
Paper:
Disclaimer | Powered by EasyChair Smart Program