11.5. Лемма

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

SKEL = <T, SH, COM, SEL>

Если сопряженное с каждой вершиной его дерева T множество унаследованных ключей Shm есть произведение множеств ключей, сопряженных и «приписанных» к указанным дугам a1.. am, ведущим от такой вершины к корню

Shm = {k1} ✖ … ✖ {kM}

то такой каркас SKEL корректен.

Доказательство

Проводится от противного, вступающего в противоречие с определением 11.2 корректного каркаса. █

Назад Вперёд