Cтраница 4
Действительно, любой кортеж, удовлетворяющий формуле С ( ОЛФ ( ОЬ принадлежит в соответствии с этой формулой отношению R. [46]
Способность хранить безработные кортежи представляет собой одно из преимуществ декомпозиции. Как упоминалось ранее, это преимущество должно быть сбалансировано с необходимостью вычислять больше соединений для ответов на запросы в случае, если осуществлена декомпозиция схем отношений. При рассмотрении всех аспектов проблемы можно, вообще говоря, прийти к выводу, что декомпозиция желательна лишь тогда, когда требуется решать такие проблемы, как избыточность, описанная в разд. [47]
Многообразна я согласованные кортежи. Каждому согласованному кортежу отвечает многообразие биавтоматов, для которых данный кортеж является кортежем тождеств, и каждое многообразие биавтоматов определяет согласованный кортеж тождеств этого многообразия. Можно доказать, что указанное соответствие между многообразиями биавтоматов и согласованными кортежами взаимно однозначно. Оказывается, что связь между многообразиями и согласованными кортежами еще более тесная. [48]
Пусть некоторый кортеж значений переменных является решением системы уравнений. При подстановке в характеристическое уравнение он обращает каждый сомножитель конъюнкции в единицу, следовательно, и конъюнкция равна единице. [49]
Поскольку каждый кортеж G представляет исчерпывающее сообщение об элементе конструкции, то последовательность расположения кортежей в ТКС несущественна. [50]
Поскольку все кортежи G одной ТКС имеют одинаковую длину, то весьма облегчается выборка реквизитов одноименных свойств для всех элементов конструкции. [51]
Для них кортеж Z является пустым. [52]