多値従属性
データベースにおける全ての属性について何らかのことを表現する制約(組み込みの制約とは異なる)。多値従属性はその定義から完全な制約である。多値従属性の定義では、 R − β {\displaystyle R-\beta } の属性集合について何らかのことを述べている。