3.3.3 表达式的安全性与等价性
��元组关系演算和域关系演算表达式可能产生一个无限关系，例如：
��{t|
(t∈loan)}和{<b, l, a>|
(<b, l, a>∈loan)}
这样的表达式就是不安全的，因为不在loan中的元组无限多，产生的后果就是允许有一些不在属性域中的值出现在关系中。但是，我们可以通过各种手段将关系演算表达式限制在安全表达式范围内。总之，以下三者是等价的，如
图3-3-1
所示：
��⑴关系代数；
��⑵限制在安全表达式范围内的元组关系演算；
��⑶限制在安全表达式范围内的域关系演算；
(t∈loan)}和{<b,
l, a>|