6.2Методологія idef1

Метод IDEF1, розроблений Т.Ремей (T.Ramey), також заснований на підході П.Чена і дозволяє побудувати модель даних, еквівалентну реляційній моделі в третій нормальній формі. В даний час на основі вдосконалення методології IDEF1 створена її нова версія - методологія IDEF1X. IDEF1X розроблена з урахуванням таких вимог, як простота вивчення і можливість автоматизації. IDEF1X-диаграммы використовуються поряд поширених CASE-засобів (зокрема, ERwin, Design/IDEF).

Суть в методології IDEF1X є незалежним від ідентифікаторів або просто незалежній, якщо кожний екземпляр сутностей може бути однозначно ідентифікований без визначення його відносин з іншими сутностями. Суть називається залежним від ідентифікаторів або просто залежній, якщо однозначна ідентифікація екземпляра сутностей залежить від його відношення до іншого сутностей (малюнок 2.30).

Мал. 2.30. Сутності

Кожній сутності привласнюється унікальне ім'я і номер, що розділяється косою межею "/" і що поміщаються над блоком.

Зв'язок може додатково визначатися за допомогою вказівки ступеня або потужності (кількості екземплярів сутностей-нащадка, яка може існувати для кожного екземпляра сутностей-батька). В IDEF1X можуть бути виражений наступні потужності зв'язків:

• кожний екземпляр сутностей-батька може мати нуль, один або більш пов'язаних з ним екземплярів сутностей-нащадка;

• кожний екземпляр сутностей-батька повинен мати не менше за один пов'язаного з ним екземпляр сутностей-нащадка;

• кожний екземпляр сутностей-батька повинен мати не більш одного пов'язаного з ним екземпляра сутностей-нащадка;

• кожний екземпляр сутностей-батька пов'язаний з деяким фіксованим числом екземплярів сутностей-нащадка.

Якщо екземпляр сутностей-нащадка однозначно визначається своїм зв'язком з сутності-батьком, то зв'язок називається ідентифікуючим, в осоружному випадку - неідентифікуючої.

Зв'язок зображається лінією, що проводиться між сутності-батьком і сутності-нащадком з крапкою на кінці лінії у сутностей-нащадка. Потужність зв'язку позначається як показано на мал. 2.31 (потужність за умовчанням - N).

Мал. 2.31. Потужність зв'язку

Ідентифікуючий зв'язок між сутності-батьком і сутності-нащадком зображається суцільною лінією (малюнок 2.32). Суть-нащадок в ідентифікуючому зв'язку є залежним від ідентифікатора сутності. Суть-батько в ідентифікуючому зв'язку може бути як незалежним, так і залежним від ідентифікатора сутності (це визначається її зв'язками з іншими сутностями).

Мал. 2.32. Ідентифікуючий зв'язок

Пунктирна лінія зображає неідентифікуючий зв'язок (малюнок 2.33). Суть-нащадок в неідентифікуючому зв'язку буде незалежним від ідентифікатора, якщо вона не є також сутності-нащадком в якому-небудь ідентифікуючому зв'язку.

Мал. 2.33. Неідентифікуючий зв'язок

Атрибути зображаються у вигляді списку імен усередині блоку сутностей. Атрибути, що визначають первинний ключ, розміщуються нагорі списку і відділяються від інших атрибутів горизонтальною межею (малюнок 2.34).

Мал. 2.34. Атрибути і первинні ключі

Сутностей можуть мати також зовнішні ключі (Foreign Key), які можуть використовуватися як частина або цілий первинний ключ або неключовий атрибут. Зовнішній ключ зображається за допомогою приміщення всередину блоку сутностей імен атрибутів, після яких слідують букви FK в дужках (малюнок 2.35).

Мал. 2.35. Приклади зовнішніх ключів