9.12. Нормализованный вид ВС

Если для некоторой ВС VS и некоторой совокупности фильтров - пар, образованных ключом k (селектора) и базисом b, выполняется следующее условие:

• каждое состояние s такой VS имеет проекцию s на один из указанных базисов b таким образом, что ключ k соответствующего фильтра, в свою очередь, оказывается её проекцией k = s | b

то VS с таким дополнением из фильтров называется приведённой к нормализованному виду, а проекции VS на указанные базисы - её канальными проекциями

Назад Вперёд