第二讲决策表的正域约简解析

( x, y )
x , yU
区分函数是一个布尔逻辑公式，其中元素为布尔变量。
定理 设 S (U , A {d},V , f ) 是决策表且 B A 。则 posA (d ) posB (d ) 当且仅当：对于任意 X U 证明 充分性是显然的。 必要性：设 posA (d ) posB (d ) ，对于任意 X U
对于任意 x, y U ，令 ( x, y) 表示下列条件：
x posA (d ) y posA (d ) ，
或
x posA (d ) y posA (d ) ，
或
x, y posA (d ) ( x, y) ind (d ) 。
且令 ( x, y) 为如下集合： 若 ( x, y) 成立，则
故 x Y ，从而 [ x]B Y ，即 x B(Y ) ，于是有
x B( Z ) posB (d ), x A( X ) posA (d ),
Z U d
此与 posA (d ) posB (d ) 矛盾。
定理 设 S (U , A {d},V , f ) 是决策表且 B A 。 则 posB (d ) posA (d ) 当且仅当：对于任意 x, y U ，
2 决策表的正域约简
设 S (U , A {d},V , f ) 是决策表，其中 A 为条件属性集合，
d 为决策属性。若 B A 满足 posB (d ) posA (d ) ，
则称 B 是 S 的一个正域协调集；极小的（关于集合包含关系） 正域协调集称为 S 的正域约简，也称为 A 的正域约简。
例 设 S (U , A,V , f ) 为一个信息系统，其中 U {xi ;1 i 8} ， A {R1 , R2 , R3} 且
U U U
R1 R2 R3
{{x1 , x4 , x5},{x2 , x8},{x3},{x6 , x7 }} ， {{x1 , x3 , x5},{x2 , x4 , x7 , x8},{x6}} ， {{x1 , x5},{x2 , x7 , x8},{x3 , x4},{x6}}.
( x, y) {a A; f ( x, a) f ( y, a)} ； 若 ( x, y) 不成立，则 ( x, y) .
对于任意条件属性 a A ，指定一个布尔变量 （仍记为 a ）与之对应。设 U n ，决策表 S 的区分矩阵 是一个 n n 矩阵，其中的元素为 ( x, y) 。 S 的区分函数定义为：
对于依赖的属性集合，其中包含有冗余关系，可以对其进行约简。 定义：设 S (U , A,V , f ) 是信息系统， B A 。若 B 为独立的 且 ind ( A) ind ( B) ，则称 B 为 A 的一个约简。 A 的所有约简构成的 集合记为 red ( A) ， A 的核 core( A) red ( A).
d
， A( X ) B( X ).
d
，
A( X ) {x [ x] A X }， B( X ) {x [ x]B X }，
因 [ x]A [ x]B ，故 B( X ) A( X ). 若存在 x U ，使 x B( X ) 且
x A( X ) ，则 [ x]A X ，故 x X . 对于任意 Y U d ， Y X ，有 Y X ，
第二讲: 信息系统知识约简
Baidu Nhomakorabea
1 信息系统的约简
定义: 设 S (U , A,V , f ) 是信息系统， B A ， a B 。 称 a 为 B 中不必要属性，如果 ind ( B) ind ( B {a}) 。 否则称 a 为 B 中必要属性。若对于任意 a B ， a 为 B 必要的， 则称 B 为独立的；否则称 B 为依赖的。
( x, y) 时，有 B ( x, y) .
证明 必要性：设 x, y U 且 ( x, y) 。于是 ( x, y) 成立。 （1） 若 x posA (d ) 且 y posA (d ) ， 则 x posB (d ) 且 y posB (d ) ， 故 x B([ x]d ) ，y B([ y]d ) ， 即 [ x]B [ x]d ， [ y]B [ y]d ， 故 [ x]B [ y]B ， [ x]B [ y]B ， 于 是 x [ y]B ， 即 存 在 a B 使
f ( x, a) f ( y, a) ， B ( x, y) .
（2）若 x posA (d ) 且 y posA (d ) ，类似可证 B ( x, y) . （3） 若 x, y posA (d ) 且 ( x, y) ind (d ) ， 则 x posB (d ) 可得 [ x]B [ x]d ， 因 y [ x]d ， 故 y [ x]B 。 类似于（1） ，可以证明 B ( x, y) .
于是， R1 是 S 中的一个必要知识； R2 是 S 中的一个不必要知识，去掉 R2 之后，由 {R1 , R3} 形成的论 域划分与 A 形成的划分相同， {R1 , R3} 是 A 的一个约简。同理， {R1 , R2 } 也是 A 的一个约简。即
red ( A) {{R1, R2},{R1, R3}} ， core( A) {R1}.
经过计算可得：
U
ind (A )
{{x1 , x5},{x2 , x8},{x3},{x4},{x6},{x7 }} ，
U U
ind ({R2 , R3}) ind ({R1 , R3})
{{x1 , x5},{x2 , x7 , x8},{x3},{x4},{x6}} ， U ind ({R1 , R2}) U ind (A ) .