Cтраница 3
F имеет вид Хг - - - YI, Х-2. Xh - - Yh), то F называется естественным характеристическим множеством для F-зависимости. [31]
Пусть алгебра V - 6, & - циклическая. Тогда каждая эндосистема имеет едщютввнную компоненту / V которая явля-ется вполне характеристическим множеством, и каждый элемент принадлежащий / V, является слоем. Отсюда, так как каждый элемент любой компоненты принадлежит хотя бы одному слою, следует что каждый правый идеал в этом случае является насыщенным. Поскольку теоретико-множественное объединение правых идеалов есть правый идеал, получаем первую часть утверждения. [32]
Как видно из представления (2.19), характеристическое множество всякой диссипативной системы представляет собой пересечение последовательности вложенных друг в друга топологических шаров. Оказывается, что перно и обратное - всякое множество, представимое в виде пересечения последовательности вложенных друг в друга топологических шаров, может служить характеристическим множеством некоторой диссипативной си - - стемы. [33]
Левинсон и О. К. Смит [1] доказали, что система (3.4) при ц 0 имеет единственный орбитно асимптотически устойчивый по первому приближению предельный цикл и все решения, начинающиеся вне этого цикла, стремятся к нему при - ( доказательство этого утверждения приведено также на стр. В книге В. А. Плисса [1] показано, что при малых ц система (3.4) диссипа-тивиа и константа R от ц не зависит. Следовательно, характеристическое множество / диссипативной системы (3.4) ограничено гладкой замкнутой кривой. [34]
Объектами поиска служат ЕЙ столбца НОМ-ДЕТ исходной таблицы Поставки. Поисковые образы номеров деталей состоят из пар вида элемент столбца КОД-ПОСТ; элемент столбца КОЛ-ДЕТ. Названные столбцы составляют характеристическое множество. Характеристики 112, 154 и 15, зафиксированные в записи запроса, образуют его поисковое предписание. Тип логической связи между характеристиками 112 и 154 - конъюнкция И, на что указывает подчеркнутое имя столбца КОД-ПОСТ. Запрос предписывает выборку номеров деталей, которые удовлетворяют сразу двум условиям: 1) поставляются поставщиками 112 и 154; 2) поставляются - в количестве 15 единиц. В ответ на запрос выводятся такие номера деталей, чьи поисковые образы либо совпадают с указанным набором, либо включают его как составную часть. [35]
Структура Д воех правых идеалов полугруппы V ( Ч /) ( ( изоморфна структуре & воех эндооиотем на алгебре У. Легко видеть, что каждое / V /, е / является вполне характеристическим множеством. [36]
Запрос обращен к исходной ИТ Поставки, столбец НОМ-ДЕТ которой рассматривается как поисковое множество. Из ЕЙ двух других столбцов формируются поисковые об - разы номеров деталей. Каждый поисковый образ состоит из двух элементов данных: один из них относится к столбцу КОД-ПОСТ, другой - к столбцу НОМ-УЗЛА. Эти столбцы составляют характеристическое множество, элементы которого фиксируются пользователем в записи запроса как поисковые характеристики. Совокупность зафиксированных в запросе характеристик 090; 47, 56, 22 представляет собой поисковое предписание, в формировании которого принимают участие два столбца: КОД-ПОСТ, НОМ-УЗЛА. Первый представлен в записи запроса одним элементом, второй - тремя. Элементы разных столбцов разграничены разделителем точка с запятой. Запятой отделяются друг от друга характери стики столбца НОМ-УЗЛА. В процессе поиска выполняется сравнение этого набора с поисковыми образами номеров деталей. [37]
Поисковые образы ЕЙ, хранимых в реляционной базе, служат средством их идентификации. При выполнении запроса в ответ на него выводятся все ЕЙ, чьи поисковые образы удовлетворяют условию выборки. Поисковые образы элементов данных произвольной ИТ формируются программно в процессе реализации запроса. Состав и содержание поисковых образов зависят, с одной стороны, от того, какие именно столбцы объявлены характеристическим множествам, с другой - от количества и значений его элементов, а также от сочетаемости их с объектами поиска. [38]
Xk) - Y достигает нуля, к NEWDEP добавляются все атрибуты из Хг. Выбором характеристических множеств для всех CF-зависимостей алгоритмы DERIVES и EQUIV могут быть использованы для множества F-зависимостей и CF-зависимостей или двух множеств одних CF-зависимостей. Временная сложность этих алгоритмов остается прежней ( см. упр. [39]
Xh) - Y достигает нуля, к NEWDEP добавляются все атрибуты из Хг. Выбором характеристических множеств для всех CF-зависимостей алгоритмы DERIVES и EQUIV могут быть использованы для множества F-зависимостей и CF-зависимостей или двух множеств одних CF-зависимостей. Временная сложность этих алгоритмов остается прежней ( см. упр. [40]