14.3 Алгоритм получения суммы ВС

Для получения состояния суммы для группы из N ВС vs1 .. vsN и селектора sel этот алгоритм:

1. рекурсивным вызовом определяет состояния ВС всех вершин, непосредственно подчинённых данному

2. получает сумму ВС, сопряжённых с вершинами, непосредственно подчинённых данному, то есть:
   • домножет на соответствующий ключ селектора каждое состояние каждой "подчинённой" ВС (отсутствие произведения считать ошибкой)

   • суммировать полученные произведения с результирующим множеством, первоначально пустым

3. проверяет, что все частичные ВС, сопряжённые с данным узлом, являются проекциями полученной ВС

Назад Вперёд