A Decidable Case of Query Determinacy: Project-Select Views
Preprint 2024 en
Authors
WZ
Wen Zhang
AP
Aurojit Panda
MS
Mooly Sagiv
Abstract
1 min read
Query determinacy is decidable for project-select views and a project-select-join query with no self joins, as long as the selection predicates are in a first-order theory for which satisfiability is decidable.
Brent Chun, Joseph M. Hellerstein, Ryan Huebsch, Shawn R. Jeffery, Boon Thau Loo, Sam Mardanbeigi, Timothy Roscoe, Sean Rhea, Scott Shenker, Ion Stoica
Oliver Rübel, Gunther H. Weber, Soile V.E. Keränen, Charles C. Fowlkes, Cris L. Luengo Hendriks, Lisa Simirenko, Nameeta Shah, Michael B. Eisen, Mark D. Biggin, Hans Hagen, Damir Sudar, Jitendra Malik, David Knowles, Bernd Hamann
Discussion(0)
No comments yet. Be the first to comment.