多値従属性

多値従属性、関数従属性はいずれも一貫性制約の一種だけど、リレーショナルデータベース入門では 4章で触れられる概念である。大分先だ。
しかしながら、ここで触れておかないと忘れてしまいそうなので、ちょっと途中を流し読みして先に見てみた。

[命題 2] R ⊇ R₁ * R₂ が成立するための必要かつ十分条件は, t[A₁A₂…A_l] = t'[A₁A₂…A_l] を満たす R の任意の2タップルtとt'について, それから構成される次の2タップルwとw'がまた R のタップルであること:
w = (t[A₁A₂…A_lB₁B₂…B_m], t'[C₁C₂…C_n])
w' = (t'[A₁A₂…A_lB₁B₂…B_m], t[C₁C₂…C_n])

(P. 83)

多値従属性と書いておきながら、その前段の 4.4 リレーションの情報無損失分解についての話なんだけど、どうでもいいところで激しく迷ってしまった。
タップルの初出は P. 27 なんだけど、その節では括弧で括られた単なるリストとして記述されている。とりあえず、リレーション 犬[名前, 飼い主, 犬種, 年齢] みたいな記述があるので、t[…] = t'[…] はインスタンスに関係ない話と考えていいんだろうか。多分今までの話の流れからしてそうだろうなあ。