Побудовано решітку мультимножин, яку вкладено у дві повні решітки мультимножин. За цього друга повна решітка, одержана узагальненням поняття мультимножини (припускається нескінченна кратність елементів), використовується за заданні денотаційної семантики рекурсивних запитів SQL-подібних мов. Розглянуто проблему повноти для мультимножинної примітивної програмної алгебри, уточнено обчислюваність на мультимножинах. Висвітлено можливості застосування теорії мультимножин.

  Завантажити