No âmbito do projeto de bancos de dados, os Axiomas de Armstrong têm um importante papel porque permitem a derivação de dependências funcionais. Uma derivação que NÃO é válida é:
  • A. se X → Y e Y → Z então X → Z
  • B. se X → Y então XZ → YZ
  • C.
  • D. se X → Y e X → Z então X → YZ
  • E. se X → Y e Z → Y então X → YZ