При каком условии таблица будет в нормальной форме Бойса-Кодда

Таблица находится в нормальной форме Бойса-Кодда (BCNF), если она уже в 3НФ и для каждой функциональной зависимости X → Y, где X не является суперключом, Y должно быть подмножеством X (т.е. тривиальная зависимость). Проще говоря, в BCNF каждая детерминанта (левая часть зависимости) должна быть потенциальным ключом.

Пример:
Таблица Orders(order_id, product_id, customer_id, customer_name) с зависимостями:

1. order_id → product_id, customer_id
2. customer_id → customer_name

Здесь customer_id не является суперключом, но определяет customer_name. Нарушает BCNF. Решение - разбить на две таблицы:
Orders(order_id, product_id, customer_id)
Customers(customer_id, customer_name)