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?