（domain）定义的逻辑蕴涵；因而执行对键与域上的限制与条件后，将导致所有的约束都满足。满足域键范式，使得数据库避免了不是清晰的域约束或键约束的一般性约束。这种一般性约束往往需要特殊编程（如存储过程）来检验是否满足。第三范式、BC范式、第四范式与第五范式是域键范式的特例。因为函数依赖、多值依赖与连接（join）依赖都可以转换为（超）键。这些范式对域约束没有讨论，可看作没有域约束。
例子.下表违反了DKNF：在富人类型属性与美元净值属性之间存在约束，即使不能从一个属性推得另