関係代数 (関係モデル)
関係 R と S に共通の属性名が無いこと。
関係Rについて、Rの属性AとAにおけるBの最大値を求める。
直接にはサポートされない。
関係 R と S が型適合であること。
R DIVIDEBY S