9.14 Неявная нормализация

Пусть даны:

• селектор c ключами k1..kn
• ВС vs такая, что каждое её состояние s содержит в кажестве своей проекции один из ключей ki селектора

Если считать, что все базисы фильтра совпадают с базисом самой этой vs, то достаточно указать лишь базис селектора, что означает неявную нормализацию ВС.

Назад Вперёд