Decidability of Query Determinacy for a Limited Class of Views and Queries

Query determinacy is proven decidable for a restricted set of database views and queries: specifically, for project-select views and project-select-join queries without self-joins, provided the selection predicates belong to a first-order theory with decidable satisfiability.