元组演算与关系代数关系

用元组演算实现关系代数

---

关系运算的安全性

---

 不产生无限关系和无穷验证的运算被称为安全的。