模式分解的三个定义

对于一个模式的分解是多种多样的，但是分解后产生的模式应与原模式等价。

人们从不同的角度去观察问题，对“等价”的概念形成了三种不同的定义：

·分解具有“无损连接性”（Lossless join）。

·分解要“保持函数依赖”（Preserve dependency）。

·分解既要“保持函数依赖”，又要具有“无损连接性”。

这三个定义是实行分解的三条不同的准则。按照不同的分解准则，模式所能达到的分离程度各不相同，各种范式就是对分离程度的测度。