The commutation algorithm toward null value for data dependent on satisfactory conditions in relational database is discussed and the related definitions, rules and theorems are put forward.

• 讨论了关系数据库的空值与数据依赖满足性变换算法,并给出了有关的定义、规则、定理与变换算法。