Построение решетки мультимножеств и соответствующей абстрактной решетки, сигнатура которой состоит из операций объединения и пересечения мультимножеств. Характеристические функции мультимножества. Введение бинарного отношения включения в мультимножествах.
Киевский национальный университет имени Тараса ШевченкоКроме того, над мультимножествами вводятся операции объединения, пересечения, разности, проекции, декартового произведения, соединение и ряд дополнительных операций (агрегирование, группирование, сортировка). Так, начиная со стандарта SQL: 2003, введен конструктор типа MULTISET (мультимножество), что открывает новые возможности для применения языка, в частности, в объектном стиле [10]. В языке ограничений OCL также определен такой структурный тип, как мультимножество (Bug), который является одним из разновидностей коллекций, и поддерживается большой набор операций над значениями коллекционных типов (select, collect, exists, FORALL, size, union, intersect, SYMMETRICDIFFERENCE и др.) [7]. Мультимножество включается в мультимножество (обозначается ), если для их характеристических функций выполняется утверждение: . Операция мультимножествам и сопоставляет мультимножество , значение характеристической функции которого на произвольном аргументе d задается выражением: Операция мультимножествам и сопоставляет мультимножество , значение характеристической функции которого на произвольном аргументе d задается выражением: .
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
