No âmbito da teoria de projeto de bancos de dados relacionais, considere as seguintes dependências funcionais para os atributos A, B, C, D.


A → B

B → C

C → D


Nesse caso, a dependência A → C poderia ser deduzida pelo axioma da