Tekst źródłowy strony Aksjomaty Armstronga

'''Aksjomaty Armstronga''' to zbiór [[aksjomat]]ów używanych do modelowania zależności funkcyjnych w [[Model relacyjny|relacyjnych bazach danych]]. Ich autorem jest [[William Ward Armstrong|William W. Armstrong]].

== Aksjomaty ==
Niech <math>R(U)</math> będzie schematem relacji opisanym na zbiorze atrybutów <math>U.</math> Symbole <math>X,</math> <math>Y,</math> <math>Z</math> niech oznaczają dowolne podzbiory <math>U.</math> Niech zapis <math>XY</math> oznacza sumę zbiorów atrybutów <math>X</math> i <math>Y,</math> według standardowej notacji używanej w teorii baz danych.

=== Aksjomat zwrotności ===
: <math>Y \subseteq X \Rightarrow X \to Y</math>

=== Aksjomat powiększenia ===
: <math>X \to Y \Rightarrow X Z \to Y Z</math>

=== Aksjomat przechodniości ===
: <math>X \to Y \land Y \to Z \Rightarrow X \to Z</math>

== Reguły ==
Z powyższych aksjomatów można wyprowadzić następujące reguły:

=== Suma ===
: <math>X \to Y \land X \to Z \Rightarrow X \to YZ</math>

=== Rozkład ===
: <math>X \to YZ \Rightarrow X \to Y \land X \to Z</math>

=== Pseudoprzechodniość ===
: <math>X \to Y \land YZ \to W \Rightarrow XZ\to W</math>

[[Kategoria:Bazy danych]]