达能
尽管如此，域关系演算的表达能力同非递归的Datalog程序是一样的 ，也等价于关系代数。