Экономическая информатика-стр.253

Фундаментальные свойства отношений.

1. Отсутствие кортежей-дубликатов.

В классической теории множеств, по определению, каждое множество состоит из различных элементов. Так как отношение определяется как множество кортежей, следовательно, оно не может содержать кортежей-дубликатов. Из этого свойства вытека ет наличие у каждого отношения так называемого первичного ключа - набора атрибутов, значения которых однозначно определяют кортеж отношения. Для каждого отношения по крайней мере полный набор его атрибутов обладает этим свойством. Однако при формальном определении первичного ключа требуется обеспечение его «минимальности», т.е. в набор атрибутов первичного ключа не должны входить такие атрибуты, которые можно отбросить без ущерба для основного свойства - однозначного определения кортежа.

2.    Отсутствие упорядоченности кортежей.

Отсутствие требования к поддержанию порядка на множестве кортежей отношения дает дополнительную гибкость СУБД при хранении баз данных во внешней памяти и при выполнении запросов к базе данных. Это не противоречит тому, что при формулировании запроса к БД можно потребовать сортировки результирующей таблицы в соответствии со значениями некоторых столбцов. Такой результат - это не отношение, а некоторый упорядоченный список кортежей.

3.    Отсутствие упорядоченности атрибутов.

Атрибуты отношений не упорядочены, поскольку, по определению, схема отношения есть множество пар имя атрибута, имя домена. Для ссылки на значение атрибута в кортеже отношения всегда используется имя атрибута. Это свойство теоретически позволяет, например, модифицировать схемы существующих отношений не только путем добавления новых атрибутов, но и путем удаления существующих атрибутов. Однако в большинстве существующих систем такая возможность не допускается, и хотя упорядоченность набора атрибутов отношения явно не требуется, часто в качестве неявного порядка атрибутов используется их порядок в линейной форме определения схемы отношения.