Определение 5.6. Множество F-зависимостей называется каноническим, если каждая F-зависимость из F имеет вид X - ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Майер Д.N.
Теория реляционных баз данных
Определение 5.6. Множество F-зависимостей называется каноническим, если каждая F-зависимость из F имеет вид X - - А, F редуцировано слева и неизбыточно.