Для будь-якої заданої пари атрибут-значення (Ai: Vi) Vi є значенням з єдиного домену Di, який пов'язаний з атрибутом Ai. p align="justify"> Ступінь відносини - це число його атрибутів. Ставлення ступеня один називають унарним, ступеня два - бінарним, ступені три - тернарного, ..., а ступеня n - n-арним. p align="justify"> Кардинальне число або потужність відносини - це число його кортежів. Кардинальне число відносини змінюється в часі на відміну від його ступеня. p align="justify"> Оскільки ставлення - це безліч, а безлічі за визначенням не містять співпадаючих елементів, то ніякі два кортежу відносини не можуть бути дублікатами один одного в будь довільно-заданий момент часу. Нехай R - відношення з атрибутами A1, A2, ..., An. Кажуть, що безліч атрибутів K = (Ai, Aj, ..., Ak) відносини R є можливим ключем R тоді і тільки тоді, коли задовольняються два незалежних від часу умови:
. Унікальність: у довільний заданий момент часу ніякі два різних кортежу R не мають одного і того ж значення для Ai, Aj, ..., Ak.
. Мінімальність: жоден з атрибутів Ai, Aj, ..., Ak не може бути виключений з K без порушення унікальності.
Кожне відношення має хоча б одним можливим ключем, оскільки щонайменше комбінація всіх його атрибутів задовольняє умові унікальності. Один з можливих ключів (вибраний довільним чином) приймається за його первинний ключ. Решта можливих ключі, якщо вони є, називаються альтернативними ключами. p align="justify"> Вищезазначені та деякі інші математичні поняття з'явилися теоретичною базою для створення реляційних СУБД, розробки відповідних мовних засобів і програмних систем, що забезпечують їх високу продуктивність, і створення основ теорії проектування баз даних. Однак для масового користувача реляційних СУБД можна з успіхом використовувати неформальні еквіваленти цих понять:
Ставлення - Таблиця (іноді Файл),
Кортеж - Рядок (іноді Запис),
Атрибут - Стовпець, Поле.
2.2 Реляційна база даних
Реляційна база даних - це сукупність відносин, що містять всю інформацію, яка повинна зберігатися в БД. Однак користувачі можуть сприймати таку базу даних як сукупність таблиць. p align="justify">. Кожна таблиця складається з однотипних рядків і має унікальне ім'я. p align="justify">. Рядки мають фіксоване число полів (стовпців) і значень (множинні поля і повторювані групи неприпустимі). Інакше кажучи, в кожній позиції та відрізняються один від одного хоча б єдиним значенням, що на перетині рядка і стовпчика завжди є в точності одне значення або нічого. p align="justify">. Рядки таблиці обов'язково в однозначно ідентифікувати будь-який рядок такої таблиці. p align="justify">. Стовпцями таблиці однозначно присвоюються імена, і в кожному з них розміщуються ...
