Non-trivial functional dependency là gì?

Trong phụ thuộc hàm (functional dependency), non-trivial functional dependency là một loại của phụ thuộc hàm xảy ra khi dependent không phải là một tập con của determinant. Tức là nếu X → Y và Y không phải là tập con của X thì nó được gọi là non-trivial functional dependency. Ví dụ:

Ở đây, roll_no → name là một non-trivial functional dependency, vì name không phải là một tập con của determinant roll_no. Tương tự, {roll_no, name} → age cũng là một non-trivial functional dependency, vì age không phải là một tập con của determinant {roll_no, name}.