визначення типів зв'язків

визначення атрибутів сутностей і зв'язків

перевірка моделі на відповідність транзакціям користувачів

перевірка моделі на відсутність збитковості

визначення потенційних і первинних ключів

розширене моделювання

визначення типів сутностей

визначення відношення,

яке вміщує вертикальну

підмножину відношення

R, що утворюється

шляхом отримання

значень вказаних

атрибутів і виключення з

результату рядків-

дублікатів

визначення відношення,

яке вміщує всі кортежі,

що належать R або S,

при цьому виключаються

з результату всі

дублікати кортежів.

Відношення R і S

повинні бути сумісні за

об'єднанням

визначення відношення,

яке вміщує тільки ті

кортежі з відношення R,

які задовольняють

заданому предикату