A Decidable Case of Query Determinacy: Project-Select Views
Wen Zhang, Aurojit Panda, Mooly Sagiv, Scott Shenker
HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.
Abstract
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.