Una dependencia funcional X -> Y es trivial si Y es un subconjunto de X.
Una dependencia funcional X -> Y es elemental si Y es un atributo único y la dependencia funcional no es trivial.
Una dependencia funcional X -> Y es transitiva cuando un atributo tiene
dependencia de otro y éste a su vez de un tercero.
Si se tiene los elementos A,B,C y si A es
funcionalmente dependiente de B, y B es funcionalmente
dependiente de C, entoces A es transitivamente
dependiente de C.
Una dependencia funcional X -> Y es completa cuando un atributo tiene una dependencia funcional de un conjunto de atributos, pero ninguno de ellos en particular