Операция step
Случай 1. Пусть R – непомеченное отношение-диграф, которое не имеет атрибута SEP, обозначающего отделение (separation). Пусть Z – это множество всех атрибутов R, отличных от SUB и SUP. Тогда STEP(R) – это множество всех кортежей вида
(SUB:x, SUP:y, Z:z, SEP:n),
где (SUB:x, SUP:y, Z:z) принадлежит R, а n – наименьшее число ребер графа, которые отделяют узел x от узла y.
Случай 2. Пусть R – отношение-диграф с помеченными ребрами, которое не имеет атрибута SEP. Пусть Z – множество всех атрибутов R, отличных от SUB, SUP и PER. Тогда STEP(R) – это множество всех кортежей вида
(SUB:x, SUP:y, PER:p, Z:z, SEP:n),
где (SUB:x, SUP:y, PER:p, Z:z) принадлежит R, а n – наименьшее число ребер графа с меткой p, которые отделяют узел x от узла y.
