2.2.3 Das Relationale Modell Relationales Schema - WINFOR

Des weiteren gilt
Nicht identische Tupel
( n) ( n) { k k }
Falls gilt für t = t ,..., t , t = t ,..., t und S = A ,..., A ,
mit l ≤n und k ≤n, ∀j:
{ k ,..., k } : 1, d 2, d 1 ( 1,1,..., 1, n) und 2 ( 2,1,..., 2, n)
1
1 1,1 1, 2 2,1 2,
j
∃d∈ S = A A t ≠t ⇒ t = t t t = t t
l
sind nicht identisch
Man schreibt in diesem Fall kurz: t S ≠ t S
[ ] [ ]
1 2
Wirtschaftsinformatik und Operations Research 103
Superschlüssel (Super Key)
Eine Menge von Attributen S heißt für ein relationales Schema
R(A 1 ,…,A n ) Superschlüssel oder Super Key, genau dann wenn S
Teilemenge von {A 1 ,…,A n } ist und es gilt zudem
( ,..., n) : ( ,..., n)
: [ ] [ ]
∀ t = t t ∈R ∀ t = t t ∈R t S ≠t
S
1 1,1 1, 2 2,1 2, 1 2
Ein Schlüssel S eines relationalen Schemas R(A 1,…,A n) ist ein
Superschlüssel mit der folgenden zusätzlichen Eigenschaft
( Super Key)
{ k k } { } { k }
Falls S = A ,..., A : ∀c∈ 1,..., l : S/ A ist kein Superschlüssel
1
l c
Wirtschaftsinformatik und Operations Research 104
1
l