Se expressarmos a dependência funcional entre dois atributos de um Banco de Dados da forma X → Y , então como pode ser expressa a regra de inferência denominada regra de transitividade?
Se X → Y e X → Z, então X → YZ.
Se X é um conjunto de atributos e Y \subseteq X, então X → Y.
Se X → YZ, então X → Y e Y → Z.
Se X → Y e Y → Z, então X → Z.
Se X → Y, então Y → X.