Armstrong Axiomak

Question 1

reflexivitás

Answer 1

Ha X >= Y, akkor X -> Y:
-A reflexivitás szabálya szerint egy attribútumhalmaz mindig meghatározza önmagát, vagy saját maga bármelyik részhalmazát.

Question 2

augmentivitás

Answer 2

(X->Y) |= XZ -> YZ:
Az augmentivitás szabálya szerint egy funkcionális függés mindkét oldalának ugyanazzal az attribútumhalmazzal történő bővítése újabb érvényes funkcionális függést eredményez.

Question 3

additivitás

Answer 3

(X->Y,X->Z) |= X->YZ:
Az additivitás szabálya szerint funkcionális függések egy (X->A1, X->A2…X->An)halmazát összevonhatjuk egyetlen X -> (A1,A2…An) funkcionális függéssé

Question 4

tranzitivitás

Answer 4

(X->Y,Y->Z) |= X->Z:
A tranzitivitás szabálya szerint a funkcionális függések tranzitívak.

Question 5

dekompozíció

Answer 5

(X -> YZ) |= X -> Y
A dekompozició szabálya szerint a funkcionális függés jobb oldaláról eltávolíthatunk attribútumot.

Question 6

pszeudotranzitivitás

Answer 6

(X -> Y, WY -> Z) |= WX -> Z