Відношення (реляційна модель): відмінності між версіями

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Немає опису редагування
Немає опису редагування
Рядок 3:
* N-арним відношенням R, або відношення R ступеня n, називають підмножину [[Декартів добуток множин|декартового добутку множин]] <math>D_1, D_2, ..., D_n (n\ge 1)</math>, не обов'язково різних. Вихідні множини <math>D_1, D_2, ..., D_n</math> називають в моделі ''[[Домен (бази даних)|доменами]]'' (в [[СКБД]] використовується поняття ''тип даних'').
 
Відношення має просту графічну інтерпритаціюінтерпретацію, воно може буде представлене у вигляді таблиці, стовпці (поля, атрибути) якої відповідають входженням доменів у відношення, а рядки (записи, кортежі) - наборам з ''n'' значень, що взяті з початкових доменів. Кількість рядків n, називають ''кардинальним числом відношення'', або [[Потужність множини|потужністю]] відношення.
 
Така таблиця відзначаєьсямає рядомряд властивостей:
 
# В таблиці немає двох однакових рядків.
Рядок 16:
[[Файл:Relational_model_concepts_ua.svg|праворуч|400px]]
 
* ''Заголовок (схема)'' відношення ''r'' (''Hr'') — скінченна множина впорядкованих пар виду <''A, T''>, де ''A'' називається іменем атрибута, а ''T'' означає ім'я деякого базового типу або раніше визначенноговизначеного домену. Всі імена атрибутів в заголовку мають бути різними.
 
* ''[[Кортеж]]'' ''tr'', відповідний заголовку ''Hr'' — множина впорядкованих триплетів <''A, T, v''>, по одному такому триплету для кожного атрибута в ''Hr''. Третій елемент – ''v'' – триплета <''A, T, v''> має бути дозволеним значенням типу даних або домена ''T''. ''Зауваження: через те, що імена атрибутів унікальні, вказувати домен в кортежі зайве.''
Рядок 23:
 
* ''Значенням'' ''Vr'' відношення ''r'' називається пара множин ''Hr'' і ''Br''.
 
Корисно також поняття ''[[Первинний ключ|первинного ключа]]'' — це такий набір атрибутів, який однозначно визначає кортеж і мінімальний серед усіх своїх підмножин (тобто з нього не можна прибрати жодного атрибута).
 
== Приклад ==