ів цього типу. p align="justify"> Кожен екземпляр суті повинен бути відрізнити від будь-якого іншого примірника тієї ж сутності (це вимога в деякому роді аналогічно вимогу відсутності кортежів-дублікатів в реляційних таблицях).
Зв'язок - це графічно зображається асоціація, що встановлюється між двома сутностями. Ця асоціація завжди є бінарною і може існувати між двома різними сутностями або між сутністю і їй же самій (рекурсивна зв'язок). У будь-якому зв'язку виділяються два кінці (відповідно до існуючої парою пов'язують сутностей), на кожному з яких вказується ім'я кінця зв'язку, ступінь кінця зв'язку (скільки екземплярів даної сутності зв'язується), обов'язковість зв'язку (тобто будь-який чи примірник даної суті повинен брати участь в даній зв'язку).
Зв'язок представляється у вигляді лінії, що зв'язує дві сутності або веде від суті до неї ж самої. При це в місці "стикування" зв'язку з сутністю використовуються триточковий вхід в прямокутник суті, якщо для цієї сутності в зв'язку можуть використовуватися багато (many) примірників суті, і одноточковий вхід, якщо у зв'язку може брати участь тільки один екземпляр сутності. Обов'язковий кінець зв'язку зображається суцільною лінією, а необов'язковий - переривчастою лінією. p align="justify"> Як і сутність, зв'язок - це типове поняття, всі примірники обох пар пов'язують сутностей підкоряються правилам зв'язування.
1.3 Нормальні форми ER-схем
Як і в реляційних схемах баз даних, в ER-схемах вводиться поняття нормальних форм, причому їх зміст дуже близько відповідає змістом реляційних нормальних форм. Зауважимо, що формулювання нормальних форм ER-схем роблять більш зрозумілим сенс нормалізації реляційних схем. Ми наведемо тільки дуже короткі і неформальні визначення трьох перших нормальних форм. p align="justify"> У першій нормальній формі ER-схеми усуваються повторювані атрибути або групи атрибутів, тобто виробляється виявлення неявних сутностей, "замаскує-ванних" під атрибути.
У другій нормальній формі усуваються атрибути, які залежать тільки від частини унікального ідентифікатора. Ця частина унікального ідентифікатора визначає окрему сутність. p align="justify"> У третій нормальній формі усуваються атрибути, які залежать від атрибутів, що не входять в унікальний ідентифікатор. Ці атрибути є основою окремої сутності. p align="justify"> Ми зупинилися тільки на самих основних і найбільш очевидних поняттях ER-моделі даних. До числа більш складних елементів моделі належать такі:
В· Підтипи і супертіпи сутностей. Як у мовах програмування з розвиненими типовими системами (наприклад, в мовах об'єктно-орієнтованого програмування), вводиться можливість успадкування типу суті, виходячи з одного або декількох супертіпа. Цікаві нюанси ...
