安全的元组关系演算是一种完整的语言吗?
turing-complete tuple-relational-calculus
tuple-relational-calculus ×1
turing-complete ×1