На основе этихтребований можно судить о некоторыхпроблемах
представления данныхв виде реляционныхтаблиц в процессе тради-
ционного инфологического проектирования БД, в частности:
•
из-за отсутствия реальныхданныхнеочевиден выбор атрибута
или атрибутов, которые обеспечили бы реализацию тезиса — любые
две строки различаются хотя бы одним элементом. Этот выбор субъек-
тивен и далеко не всегда лучший. Использование ИТВ для назначения
соответствующихатрибутов позволяет этот процесс формализовать и
добиться наилучшего решения;
•
назначение соответствующего типа для каждого атрибута также
субъективно и впоследствии при заполнении таблиц реальными дан-
ными может оказаться неверным. Назначение типа атрибутов в ИТВ
формализуется, так как основывается не на опыте и интуиции разра-
ботчика, а на анализе реальныхданных.
Далее рассмотрим вопросы обеспечения целостности данных.
Ограничение целостности — это логическое выражение, связанное с
РБД, результатом которого всегда должно быть значение TRUE.
Обеспечение целостности отношений тесно связано с понятием
ключей. Допустим, что K — множество атрибутов отношения
R
. В
таком случае K является потенциальным ключом для
R
тогда и только
тогда, когда оно обладает одновременно двумя приведенными ниже
свойствами:
уникальностью — ни одно допустимое значение
R
никогда не со-
держит два разныхкортежа с одним и тем же значением K;
необратимостью — никакое строгое подмножество K не обладает
свойством уникальности.
Анализ требований к ключам позволил сделать следующие вы-
воды.
Процедура назначения внешнихключей при традиционном про-
ектировании РБД нетривиальна, не формализована, субъективна и не
гарантирует лучшего решения. Она основывается на анализе предлага-
емыхсхем отношений, которые далеко не всегда могут гарантировать
принятие во внимание реальныхданных.
При проектировании РБД на основе ИТВ процедуру назначения
внешнихключей можно формализовать и таким образом добиться
оптимального решения, удовлетворяющего требованиям к внешним
ключам, так как анализ в этом случае проводится на основе исполь-
зования существующихданных, а не на основе предлагаемыхсхем
отношений.
В реляционной теории БД фундаментальной является концепция
функциональной зависимости (ФЗ) [3]. Пусть
R
— отношение, а X и
Y — произвольные подмножества множества атрибутов отношения
R
.
46 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2007. № 4
