【DB入門】多値従属性の定義 | Academaid

多値従属性の定義 リレーションスキーマ$RS$と属性集合$X,Y\subseteq RS$が与えられたとき，$RS$の任意のインスタンス$R$において \begin{align} (\forall t\in R)(\forall u\in R)(t[X]{=}u[X]\rarr &(\exists v\in R)(\exists w\in R)(t[X]{=}u[X]{=}v[X]{=}w[X]\notag\\[0.7em] &\wedge t[Y]{=}v[Y]\wedge t[RS-XY]{=}w[RS-XY]\notag\\[0.7em] &\wedge u[Y]{=}w[Y]\wedge u[RS-XY]{=}v[RS-XY]) \end{align} が成立するとき，多値従属性$X\twoheadrightarrow Y$が成り立つといいます。 多値従属性の英語表記はmultiv