Por lo tanto A no es dependiente transitivo de Y, si y solo si X → Y, es decir, si y solo si X es una superclave.