Cтраница 2
Теперь мы введем другой тип теоретико-множественной операции и относящиеся к нему понятия, которые нам понадобятся позже. [16]
Эти законы выражают принцип двойственности теоретико-множественных операций. Он состоит в том, что когда мы переходим от множеств к их дополнениям относительно некоторого множества М, то объединение и пересечение меняются ролями. [17]
Отметим, что с помощью теоретико-множественных операций на основе канонических информации можно порождать весьма широкий спектр пространств информации, элементы которых индуцируют разнообразные точечные множества. [18]
Операция, являющаяся дополнением к теоретико-множественным операциям. К числу специальных относятся операции селекции, проекции, соединения и дел -: я 1 тнсь. [19]
Типовой элемент, образованный с помощью теоретико-множественных операций одной или несколькими типовыми поверхностями, называется производным объектом и является типовым элементом второго ранга. [20]
Оператор СЛИТЬ соответствует в реляционной алгебре теоретико-множественной операции ОБЪЕДИНЕНИЕ. Результатом выполнения оператора СЛИТЬ является новый массив, состоящий из записей первого и второго исходных массивов без дубликатов. Слияние происходит по ключу, по которому одинаково упорядочены исходные массивы. Программа, реализующая этот оператор, может работать лишь с массивами, имеющими одинаковую структуру. [21]
Покажем, как аксиоматика ZF позволяет определять теоретико-множественные операции. [22]
Именно возможность работать с множествами и применять теоретико-множественные операции и функции отличает SQL от обычного QUEL. Оба эти языка используют переменные-кортежи и выражения реляционного исчисления для выборки значений. Однако теоретико-множественные операции SQL делают этот язык значительно более похожим на реляционную алгебру, которая, как мы увидим, работает исключительно в теоретико-множественных терминах. Мы закончим изучение SQL, рассмотрев, как в нем реализованы две классические операции, связанные с множествами. [23]
Операции отрицания, как известно, соответствует теоретико-множественная операция дополнения. [24]
Уже Аристотель по существу пользовался для изучения теоретико-множественных операций моделью, в которой множества изо бражаются в виде фигур на плоскости. [25]
Операции над множествами в модели являются расширением обычных теоретико-множественных операций. Модель дает возможность определить и использовать неограниченное количество операций. [26]
Семейство М мы предполагаем замкнутым относительно всех основных теоретико-множественных операций в следующем смысле: если все множества, участвующие в операции, принадлежат М, то и множество, получающееся в результате этой операции, принадлежит М - В частности, предполагаются выполненными следующие условия. [27]
Кодда [3] проекция отсутствует, что делает невыполнимыми теоретико-множественные операции, ибо при соединении степень связи возрастает. [28]
![]() |
Результат выполнения теоретико-множественной операции над плоскими областями А и В ( М - область. 5 - 6 - отрезок прямой. Р - точка касания. [29] |
Условимся в дальнейшем задачи, в которых реализуются теоретико-множественные операции, называть теоретико-множественными. К теоретико-множественным сводятся многие задачи, возникающие при разработке методов автоматизированного конструирования деталей и узлов машин. [30]