What needs to be fulfilled for a table to conform to Boyce-Codd normal form?

In order for a table to be in Boyce-Codd Normal Form (BCNF), it must be that for every functional dependency of the form A → B, where A and B are sets of attributes of the table, the set A is a superkey of the table.

This means:

• There are no functional dependencies where the left side is not a key or superkey.
• All dependencies determine the uniqueness of records through key attributes.

If there is a dependency in the table where an attribute that is not a key determines another attribute, then the table is not in BCNF and requires decomposition.

Example: if there is a dependency {A} → {B} in the table, but A is not a key, then the table should be split to eliminate this dependency and achieve BCNF.