IDEF1X (Integration DEFinition for Information Modeling) to metoda projektowania relacyjnych baz danych ze składnią, która obsługuje konstrukcje w opracowywaniu schematów koncepcyjnych.
Nie wszyscy wiedzą, że notacja ta ma ciekawą historię. Rzeczywiście, zapotrzebowanie na semantyczne modele danych zostało po raz pierwszy dostrzeżone przez Siły Powietrzne USA w połowie lat 70. XX wieku. W rezultacie powstał Program ICAM (zidentyfikował potrzebę lepszych technik analizy i komunikacji dla osób zaangażowanych w poprawę wydajności produkcji), który później rozwinął szereg technik znanych jako IDEF; IDEF1X jest jednym z nich.
Przyjrzyjmy się bliżej składni:
Typ jednostki
- Słaby podmiot (zależne) jest reprezentowane przez prostokąt zaokrąglony (wystąpienia encji zależnych od identyfikatora są bez znaczenia (z definicji) bez innej skojarzonej instancji encji)
- Silna jednostka (niezależne) jest reprezentowane przez prostokąt (wystąpienia encji niezależnych od identyfikatorów mogą istnieć bez żadnych innych wystąpień encji)
Przykład:książka jako niezależna jednostka i rozdział jako jednostka zależna.
Atrybuty
Aby zaprezentować atrybuty , jednostka podzielona jest na dwie części. W pierwszym znajdują się atrybuty klucza podstawowego, a drugi zawiera atrybuty. Co więcej, nazwa podmiotu zwykle znajduje się nad prostokątem. Każdy atrybut musi mieć wartość (No-Null Rule), a żaden atrybut nie może mieć wielu wartości (No-Repeat Rule). Każda encja ma dokładnie jeden klucz podstawowy wyświetlany nad poziomą linią w polu encji. Klucze obce są oznaczone (FK), a alternatywne klucze są przedstawiane jako (AK), aby pokazać, że nie są własnością tej jednostki.
Relacje
Ciągłe lub przerywane linie z wypełnionymi okręgami na jednym lub obu końcach wskazują, w jaki sposób elementy są ze sobą powiązane. Relacje są zawsze pomiędzy dokładnie dwoma podmiotami i są oznaczone frazą czasownikową opisującą relację. Każda relacja połączenia ma skojarzoną liczność, która określa liczbę wystąpień encji zależnej, które są powiązane z wystąpieniem niezależnej encji. Ilustruje to poniższy diagram:
Ponadto często spotyka się modele w notacji IDEF1X, z wyjątkiem tego, że relacje są renderowane w notacji IEEE (kurza łapka, która jest bardziej powszechnie uznawana).
Teraz, mając wszystkie niezbędne informacje, wróćmy do poprzedniego przykładu z książką i rozdziałem i zaprezentujmy to na diagramie IDEF1X.