Bazy danych
Baza danych jest zbiorem powi膮zanych danych abstrakcyjnym odzwierciedleniem wybranego fragmentu rzeczywisto艣ci.
Pierwsza posta膰 normalna: Encja jest w 1NF (Normal Form), gdy
Ka偶da tabela posiada okre艣lony klucz g艂贸wny, kt贸ry jest niepowtarzalny.
Nie posiada powtarzaj膮cych si臋 atrybut贸w ( nie dubluje si臋).
Je艣li atrybut posiada kilka warto艣ci w jednej krotce to definiujemy now膮 encj臋, opisan膮 przez ten atrybut.
Druga posta膰 normalna : Encja jest w 2NF, gdy
Je偶eli encja posiada klucz g艂贸wny z艂o偶ony z kilku atrybut贸w, to wszystkie atrybuty zale偶膮 tylko od ca艂ego klucza g艂贸wnego.
Je偶eli atrybut (kolumna) zale偶y tylko od cz臋艣ci klucza g艂贸wnego, to ten atrybut i ta cz臋艣膰 identyfikatora tworz膮 podstaw臋 nowej encji.
Trzecia posta膰 normalna: Encja jest w 3NF, gdy wszystkie atrybuty encji zale偶膮 bezpo艣rednio od klucza g艂贸wnego. Je偶eli jaki艣 atrybut zale偶y od jakiego艣 innego atrybutu, kt贸ry nie jest cz臋艣ci膮 klucza g艂贸wnego, to atrybuty te tworz膮 podstaw臋 nowej encji.
Integralno艣膰
Postulaty dr E.F.Cooda.
Informacyjny.
Gwarantowanego dost臋pu.
Systemowej obs艂ugi warto艣ci NULL
Dynamicznego s艂ownika danych.
Pe艂nego j臋zyka danych.
Modyfikowania bazy danych przez perspektywy.
Modyfikowania danych na wysokim poziomie abstrakcji.
Fizycznej niezale偶no艣ci danych.
Logicznej niezale偶no艣ci danych.
Niezale偶no艣ci wi臋z贸w sp贸jno艣ci.
Niezale偶no艣ci dystrybucyjnej.
Bezpiecznych operacji niskiego poziomu ( brak regu艂 wywrotowych).
W艂asno艣ci relacji (tabel)
Wszystkie wiersze tabeli s膮 unikalne. W przeciwnym wypadku by艂y by one nierozr贸偶nialne.
Nazwy kolumn ka偶dej tabeli s膮 unikalne. Kolumny s膮 identyfikowane przez nazw臋, a nie np.: pozycj臋.
Kolejno艣膰 wierszy w tabeli jest nieokre艣lona.
Kolejno艣膰 kolumn jest nieokre艣lona
Warto艣ci p贸l s膮 elementarne (nierozk艂adalne)
Wszystkie warto艣ci kolumnie s膮 tego samego typu.
Cele normalizacji jest unikni臋cie problem贸w i potencjalnych przyczyn b艂臋d贸w zwi膮zanych z : Nadmiarowo艣ci膮 danych.
Efektem ubocznym usuni臋cia.
Efektem ubocznym modyfikacji.
Efektem ubocznym wstawienia.