. asdf: sorki z gory, nie mam gdzie zapisać (nie pisac nic!) atrybuty: A B C B zależy od A: ∀_{a ∊ A} ∃₁ b∊B PESEL → I,N,D,A: czyt: zal. funkcjonalna: dla kazdego nr PESEL przypozadkowane jest jedno I, N, D, A

asdf: A→B

asdf: 1. tylko pola atomowe oraz: ∀_{i ∊ I, i ≠ k} A_i jest zależne od A_k

asdf: A_i − atrybut w postaci atomowej

asdf: 2. 1 + każdy A_i jest zależny od A_k

asdf: poprawka: 1. istnieja takie atrybuty 2. dla kazdego atrybutu zachodzi taki zwiazek

asdf: 3. 2 + nie zawiera relacji przechodnich (chodzi tu o zapobieganie anomaliom usuwania / edycji)