При детальному розгляді взаємовідносин між сутностями предметної області можна побачити, що вони мають різні властивості в стосунках один з одним. Це є причиною поділу сутностей на типи. Єдина, усталена думка на класифікацію типів сутностей в даний час ще не склалася. Як правило, прийнято виділяти такі типи сутностей.
Незалежна сутність - сутність, існування якої не залежить від існування інших сутностей. Вона не потребує додаткової інформації, взятої з іншої сутності, для ідентифікації унікального екземпляра. Тому первинний ключ незалежної суті не включає в себе первинних ключів інших сутностей.
Приклад 4: предметна область - навчальний процес. Кожен студент характеризується успішністю - безліччю оцінок, отриманих в сесію. Сутність ОЦІНКА є залежною, оскільки для своєї ідентифікації вона вимагає посилання на студента, якому вона поставлена. Тому до складу її первинного ключа повинен входити первинний ключ сутності СТУДЕНТ.
Незалежні суті можуть мати зовнішні ключі, тобто посилатися на інші сутності. Якщо незалежна сутність не має зовнішніх ключів (тобто ніяк не пов'язана з іншими сутностями), то вона називається стрижневою сутністю або стрижнем. На ЯІМ стрижнева сутність записується в такий спосіб:
НАЗВА СУЩНОСТИ (атрибут1, атрібут2, ....),
де серед атрибутів немає зовнішніх ключів, а ключові атрибути підкреслюються. На ER-діаграмах стрижневі сутності зображуються прямокутниками.
Якщо незалежна сутність має зовнішні ключі (тобто пов'язана з іншими сутностями), то вона називається позначає сутністю або позначенням. Зв'язок з позначається сутністю може бути типу «один-до-одного» або «багато-до-одного». Позначає сутність описується наступним чином:
Ідентифікація (атрибут1, атрібут2.) [СПИСОК позначається сутності],
де серед атрибутів є зовнішні ключі. На ER-діаграмах позначають сутності зображуються паралелограма.
Приклад 5. предметна область - розподіл співробітників по відділах.
ВІДДІЛ (Номер відділу. Назва відділу, ...)
СПІВРОБІТНИК (Табельний номер. Прізвище, ..., Номер відділу) [ВІДДІЛ].
Тут сутність СПІВРОБІТНИК є позначенням суті ВІДДІЛ завдяки наявності зовнішнього ключа Номер відділу; при цьому сутність СПІВРОБІТНИК зберігає незалежне існування: якщо цей атрибут не заповнений, то це означає, що працівник не зарахований ні в який відділ.
Характеристична сутність або характеристика - це залежна сутність, існування якої повністю залежить від характеризується суті, з якою вона пов'язана зв'язком «один-до-одного» або «багато-до-одного». Характеристична сутність описується наступним чином:
при цьому первинний ключ характеризується суті входить до складу первинного ключа характеристики або є його обов'язковим зовнішнім ключем. У попередньому прикладі співробітник міг бути в складі відділу, а міг мати незалежне існування, тому відповідна сутність визначалася як позначення. Але в будь-якому закладі співробітник обов'язково повинен входити до складу будь-якого відділу, то це змінить статус сутності СПІВРОБІТНИК на характеристику відділу.
Приклад 6. предметна область - успішність студентів.
СТУДЕНТ (Прізвище, Номер заліковки, ...)
УСПІШНІСТЬ (Номер заліковки. Дисципліна. Оцінка)
Тут первинний ключ Номер заліковки характеризується сутності СТУДЕНТ входить до складу первинного ключа характеристики УСПІШНІСТЬ. Незаповнений значення цього атрибута неприпустимо, так як в такому випадку стає невизначеним, успішність якого студента характеризує даний рядок, тобто поняття успішності втрачає сенс.
На ER-діаграмах характеристичні сутності зображуються трапеціями.
Асоціативна сутність або асоціація - це зв'язок виду "багато-до-багатьох» між двома і більше сутностями. Часто вводяться в модель для розбиття зв'язку «багато-до-багатьох» на дві зв'язку «один-ко-многим». При цьому розглядаються як повноправні суті. Це означає, що асоціації можуть брати участь в інших асоціаціях і позначеннях як стрижневі сутності, вони можуть мати атрибути і т.д. Характеристична сутність може розглядатися як окремий випадок асоціації. Описуються асоціації наступним чином:
АСОЦІАЦІЯ [СУТНІСТЬ S1, СУТНІСТЬ S2, ...] (атрибут1, атрібут2, ...),
де S1, S2 і т.д. - ступінь зв'язку з вказаною сутністю. На ER-діаграмах асоціації зображуються за допомогою шестикутників.
Приклад 7: формальний опис Илм: предметна область - навчальний процес у вузі (варіант). Модель повинна відображати факт існування студентів, навчальних груп, викладачів і занять за розкладом. Модель також повинна відображати успішність студентів за результатами попередньої сесії.
Виділимо в предметної області стрижневі сутності. Це ГРУПА і ВИКЛАДАЧ:
ГРУПА (Шифр групи. Кафедра, Склад, Староста)
ВИКЛАДАЧ (Прізвище. Кафедра, Посада, Вчений ступінь)
Сутність СТУДЕНТ посилається на сутність ГРУПА, тому є її позначенням:
СТУДЕНТ (Прізвище, Номер заліковки. Шифр групи) [ГРУПА]
Успішність студента є його характеристикою:
УСПІШНІСТЬ (Номер заліковки. Дисципліна. Оцінка)
Нарешті, сутність ЗАНЯТТЯ є асоціацією сутностей ГРУПА і ВИКЛАДАЧ; крім цього вона має власні атрибути - дисципліну, час і місце проведення:
ЗАНЯТТЯ [ГРУПА М, ВИКЛАДАЧ N] (Шифр групи. Прізвище викладача. Дисципліна, Тиждень, День, Пара, Аудиторія).
ER-діаграма предметної області має вигляд (рис.1):
Тепер введемо в модель нову сутність - ДИСЦИПЛІНА. Для простоти будемо вважати, що вона має єдину характеристику - Найменування і призначена для кодування довгих текстових найменувань дисциплін. У всіх інших сутності замінимо найменування кодом дисципліни і встановимо зв'язку з новою сутністю. Це невелика зміна змінить статус суті УСПІШНІСТЬ - вона перетвориться в асоціацію; сутність ЗАНЯТТЯ з асоціації двох сутностей стане асоціацією трьох сутностей:
ГРУПА (Шифр групи. Кафедра, Склад, Староста)
ВИКЛАДАЧ (Прізвище. Кафедра, Посада, Вчений ступінь)
СТУДЕНТ (Прізвище, Номер заліковки. Шифр групи) [ГРУПА]
УСПІШНІСТЬ [СТУДЕНТ М, ДИСЦИПЛИНА N] (Номер заліковки. Код дисципліни. Оцінка)
ЗАНЯТТЯ [ГРУПА М, ВИКЛАДАЧ N] (Шифр групи. Прізвище викладача. Код дисципліни, Тиждень, День, Пара, Аудиторія).
Цей приклад демонструє той факт, що характеристика є окремим випадком асоціації, у якій менше двох залежних зв'язків.