Cтраница 2
![]() |
Пример некоммутативности произведения. [16] |
В самом деле, х0Ау не может выполняться ни для какой пары, так как x0z никогда не выполнено. Равенство (1.8) означает, что пустое отношение 0 ведет себя относительно умножения отношений как нуль при обычном умножении чисел. [17]
Заметим, что отношение представляет собой множество, поэтому все кортежи в отношении различны и упорядочены произвольным образом. Пустое множество представляется специальным нулевым ( или пустым отношением. Отношения также можно рассматривать как таблицы; при этом кортежи представляют собой строки таблиц. Имена колонок отношений называются атрибутами. [18]
Множество ( А) вместе с этой операцией является полугруппой. В & ( А) имеется также нуль - пустое отношение. Полугруппа ( А) содержит много интересных подполугрупп. [19]
An имеются два отношения занимающие особое положение: это пустое отношение У, которое определяется пустым подмножеством множества. [20]
Заметим, однако, что для идентичных процессоров списочное расписание минимальной длины совпадает при пустом отношении с расписанием минимальной длины в классе всех расписаний без прерываний. Для критерия минимума среднего взвешенного времени прохождения, при пустом отношении и идентичных процессорах списочное расписание также является оптимальным в этом классе. [21]
В этом разделе будет рассмотрен вопрос о переводе ограниченного алгебраического выражения в эквивалентное ему табло запроса. Как видно из определения ограниченного алгебраического выражения, если некоторое подвыражение обозначает пустое отношение, то и все выражение обозначает пустое отношение. [22]
В этом разделе будет рассмотрен вопрос о переводе ограниченного алгебраического выражения в эквивалентное ему табло запроса. Как видно из определения ограниченного алгебраического выражения, если некоторое подвыражение обозначает пустое отношение, то и все выражение обозначает пустое отношение. [23]
Как следует из определения, функция POSS не обязана давать возможные пополнения для частичного отношения. В частности, этому определению удовлетворяет такая функция, которая сопоставляет каждому частичному отношению пустое отношение с той же самой схемой. [24]
В этом разделе будет рассмотрен вопрос о переводе ограниченного алгебраического выражения в эквивалентное ему табло запроса. Как видно из определения ограниченного алгебраического выражения, если некоторое подвыражение обозначает пустое отношение, то и все выражение обозначает пустое отношение. [25]
Выражения отношение от X к У и отношение в Z исходят из возможного применения понятия отношения к задаче отличения одних упорядоченных пар от других. Если X есть какое-то множество, то ХхХ есть некоторое отношение в X, которое мы назовем универсальным отношением в X; название это оправдывается тем, что для каждой пары к, у элементов из X имеет место х ( ХхХ) у. Другим крайним примером служит пустое отношение в X, совпадающее с пустым множеством. [26]
Если А - одноэлементное множество, А а, то ty - ( 0, А), так как пустое отношение - единственный совершенный строгий порядок на одноэлементном множестве. Единственный элемент множества А в этом случае, в силу антирефлексивности отношения t, обладает свойством ( 6) и, следовательно, является искомым. Допустим теперь, что для любого - элементного множества ( п1) элемент с требуемым свойством существует, и предположим, что ty - совершенный строгий порядок на ( п 1) - элементном множестве А. [27]
Результат операции удаления не обманывает ожиданий. Заданный кортеж удаляется из отношения, за исключением тех случаев, когда этот кортеж в отношении отсутствует. В этом случае отношение остается неизменным и сообщается об ошибке условия. Ограничение на удаление последнего кортежа из отношения не накладывается; пустое отношение допускается. [28]
Вопросы, связанные с дополнительными ресурсами, не рассматриваются ввиду отсутствия соответствующих результатов. Различные виды дисциплины обслуживания заданий также не рассматриваются, так как во всех задачах предполагается составление расписаний без прерываний, причем по той же причине, что и в предыдущем случае. Напомним, впрочем, что возможность прерываний не приводит к улучшениям в случае идентичных процессоров, неотрицательных весов и пустого отношения предшествования. Замечания 1, 2, 4 и 5, сделанные по поводу табл. 1.1, относятся также и к табл. 1.2, которая содержит основные результаты гл. [29]
![]() |
Диагональное отно - [ IMAGE ] Полное отношение. шение. [30] |