A Decidable Case of Query Determinacy: Project-Select Views
arXiv:2411.08874
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.