No non-prime attribute in the table is functionally dependent on a proper subset of any candidate key