Nächste Seite:
CR und Konfluenz
Aufwärts:
Beziehungen zw. ARS-Eigenschaften
Vorherige Seite:
Motivation, Plan
Normalformen
Satz:
∀
R
:
UNC
(
R
)⇒
UNR
(
R
)
Beweis (einfach):
Def.
UNC
(→)
:
Nf∋
y
1
(←∪→)
*
y
2
∈Nf⇒
y
1
=
y
2
Def.
UNR
(→)
:
Nf∋
y
1
(←
*
⋅→
*
)
y
2
∈Nf⇒
y
1
=
y
2
es gilt
(←
*
⋅→
*
)⊆(←∪→)
*
es gilt nicht
∀
R
:
UNR
(
R
)⇒
UNC
(
R
)
, Gegenbeispiel: Hausaufgabe (Universum mit 5 Elementen)
