[nom] Relation d'une base de données, qui pour toute relation de dimension `n` en forme normale de Boyce-Codd, doit avoir un sens pour les relations de dimension `n-1` construites sur sa collection. Il ne doit pas être possible de reconstituer les occurrences de la relation de dimension `n` par jointure de deux relations d...