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