11.2. Согласованный каркас

Пусть имеется каркас

SKEL = <T, SH, COM, SEL>

Он называется согласованным (корректным) на множестве (унаследованных) ключей Sh0, если сопряжённое с каждой вершиной дерева разбиения множество Sh ∈ SH унаследованных ключей, подчиняется следующим правилам:

• у корня это множество Sh совпадает с исходным: Sh = Sh0
• если с текущей вершиной nd типа И сопряжено множество Sh, а сопряжённый с ней коммутатор com из COM имеет каналы, образованные ключами

  {k1, … ,kM}

  то для каждой непосредственно подчинённой вершины ndi сопряжённое с ней множество унаследованных ключей Shi из SH есть (полное) произведение исходного множества Sh на это множество ключей из коммутатора com:

  Shi = Sh ✖ {k1, … ,kM}

  при условии, что каждое такое произведение существует, иначе это некорректный каркас

• если с текущей вершиной nd типа ЛИБО сопряжено множество Sh, а сопряжённый с этой вершиной селектор sel из SEL имеет каналы, образованные ключами {k11, … ,k1M} .. {kN1, … ,kNL}, то множество унаследованных ключей Shi каждой непосредственно подчинённой вершины ndi есть (полное) произведение Sh и {ki1, … ,kiM}:

  Shi = Sh ✖ {ki1, … ,kiM}

Если при этом исходное множество пусто: (Sh = ∅), такой каркас также называется самосогласованным. █

Назад Вперёд