Тем самым, степень или «арность» кортежа, т.е. число элементов в нем, совпадает с «арностью» соответ-ствующей схемы отношения. По-просту говоря, кортеж - это набор именованных
значений задан-ного типа.
22
|
2. 6. Отношение |
|
|
|
Отношение - это множество |
||||
кортежей, соответствующих одной |
||||
схеме |
отношения. Иногда, чтобы |
|||
не |
путаться, |
говорят |
||
«отношение-схема» |
|
и |
||
«отношение-экзем-пляр», |
|
|||
иногда схему отношения называют |
||||
заголовком |
отноше-ния, |
а |
||
отношение как набор кортежей - |
||||
телом отношения. |
|
|
||
|
|
|
|
23 |
На самом деле, понятие схемы отношения ближе всего к понятию структурного типа данных в языках программирования. Было бы впол-не логично разрешать отдельно определять схему отношения, а затем одно или несколько отно-шений с данной схемой. Однако в реляционных 
базах данных это не принято.
24
Имя схемы отношения в таких БД всег- |
||||||
да |
совпадает |
|
с |
именем |
||
соответствующе-го |
|
|
отношения- |
|||
экземпляра. |
В |
|
классичес-ких |
|||
реляционных |
БД |
после |
определения |
|||
схемы БД изменяются только отноше- |
||||||
ния-экземпляры. |
В |
|
них |
могут |
||
появляться новые и удаляться или |
||||||
модифициро-ваться |
|
существующие |
||||
кортежи. |
Однако |
|
во |
многих |
||
реализациях допускается и изменение |
||||||
схемы БД: определение но-вых и |
||||||
изменение |
существующих |
схем |
||||
отношения. |
Это |
принято |
называть |
|||
эволюцией схемы базы данных. |
||||||
Обычным житейским представлением отно- шения является таблица, заголовком кото- рой является схема отношения, а строками - кортежи отношения-экземпляра; в этом слу-чае имена атрибутов именуют столбцы этой таблицы. Поэтому иногда говорят «столбец таблицы», имея в виду «атрибут отноше-ния». Когда мы перейдем к рассмотрению практических вопросов организации реля-ционных БД и средств управления ими, будем использовать эту «житейскую» тер-минологию. Этой терминологии придер-живаются в большинстве коммерческих реляционных СУБД.
Понятие отношения математически |
||
описывается следующим образом. |
||
Пусть дано n множеств A1 , A2 , , An. |
||
Тогда отношение ρ есть подмноже- |
||
ство декартова произведения |
||
ρ A A A |
||
1 |
2 |
, n |
то есть ρ состоит из кортежей |
||
a1 , a2 , , an |
||
таких, что ai Ai, где |
ai - атрибут, а |
|
Ai - домен отношения |
.ρ |
|
|
|
27 |
Реляционная база данных - это |
|||
набор отношений, |
имена |
которых |
|
совпадают с именами схем отно- |
|||
шений в схеме БД. |
|
|
|
Основные структурные понятия ре- |
|||
ляционной модели данных (если не |
|||
считать |
понятия |
домена) |
имеют |
очень простую интуитивную интер- |
|||
претацию, хотя в теории реляцион- |
|||
ных БД все они определяются |
|||
абсолютно формально и точно. |
|||
. |
|
|
|
|
|
|
28 |
2. 7. Отсутствие кортежей- |
||||
|
дубликатов |
|
|
|
То свойство, что отношения не со- |
||||
держат кортежей-дубликатов, сле- |
||||
дует из определения отношения как |
||||
множества кортежей. В классичес- |
||||
кой теории множеств по определе- |
||||
нию каждое множество состоит из |
||||
различных |
элементов. |
Из |
этого |
|
свойства вытекает наличие у каж- |
||||
дого отношения |
так называемого |
|||
первичного ключа |
- набора атрибу- |
|||
тов, значения которых однозначно |
||||
определяют кортеж отношения. |
||||
Для каждого отношения, по край- ней мере, полный набор его атри- бутов обладает этим свойством.
Однако при формальном определе- нии первичного ключа требуется обеспечение его «минимальности», то есть в набор атрибутов первич- ного ключа не должны входить такие
атрибуты, которые можно отбросить без ущерба для основного свойства - однозначно определять кортеж.
30
Понятие первичного ключа является |
исключительно важным в связи с поня- |
тием целостности БД. Забегая вперед, |
заметим, что во многих практических |
реализациях реляционных СУБД допус- |
кается нарушение свойства уникально- |
сти кортежей для промежуточных отно- |
шений, порождаемых неявно при вы- |
полнении запросов. Такие отношения |
являются не множествами, а мульти- |
множествами, что в ряде случаев поз- |
воляет добиться определенных преиму- |
ществ, но иногда приводит к серьезным |
проблемам. |