Домени та атрибути. Ключі відношення. Гарантія існування ключа відношення

Домен являє собою множину значень, яку може мати атрибут. Отже, атрибут є конкретне використання домена всередині відношення. Відношення визначається чотирма атрибутами. Значення цих атрибутів утворюється з множини значень відповідно домена. Взагалі треба було б робити імена доменів та атрибутів, але якщо у кожного домена утворюється лише один атрибут,, то такого розрізнення не проводять, якщо ж з одного домена утворюють два атрибути, то тоді їм дають різні імена.

Якщо в середині відношення R існує атрибут, значення якого однозначно індефікують кортежі цього відношення, то такий атрибут називають первинним ключем даного відношення. Може бути так, що первинний ключ буде неможливо утворити з одного атрибута, але завжди знайдеться така комбінація, яку можна індефікувати як первинний ключ.