Выдержка из книги
Мейер Д.N.
Теория реляционных баз данных
Если УУ () g ( У) - подформула f, то с ф edom ( A, g) влечет за собой / ( g ( с / у)) истина. Эти три условия служат тем же целям, что и соответствующие условия на безопасную формулу исчисления кортежей.
