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.

翻译：对于投影-选择视图以及不含自连接的投影-选择-连接查询，只要选择谓词属于一个可满足性可判定的—阶理论，则查询确定性是可判定的。