針對投影選擇視圖的查詢確定性判定問題

對於投影選擇視圖以及不包含自連接的投影選擇連接查詢，只要選擇謂詞屬於滿足性可判定的 first-order theory，則查詢確定性問題是可判定的。