因为投影可能成声更少的元组，因为它清除由于取消字段导致的重复元组）。
投影.
基本投影性质.投影是幂等性的，所以一系列（有效）投影等价于最外投影。
投影和集合运算.投影在并集上是分配性的。
重命名.
基本重命名性质.对一个变量的连续的重命名可以缩减为一个单一的重命名。没有公共变量的重命名运算可以任意相互重新排序，这可以导致能缩减的重命名毗连起来。
重命名和集合