每个函数依赖都是多值依赖证明
证明：关系R中：A1A2…..An ->B1B2…..Bm成立
t,u 是在A上一致的R的元组。
为了证明A1A2…..An ->->B1B2…..Bm成立，必须证明可能存在一个元组v，它和t,u在A 上一致，和t在B上一值，和u在所有其他属性上一致。
显然可以得到这样一个元组v.满足我们的要求，实际上，v就是u。
所以就可以得到结论：
如果：A1A2…..An ->B1B2…..Bm
则：A1A2…..An ->->B1B2…..Bm
2022-03-25 15:52:46
1.1MB
1
最小-最大规范化的例子
例：假定属性income的最小值分别是12000美元和98000美元。我们想把映射到区间[0.0, 1.0]。根据最小最大规范化，income值73600美元变换为：
(73600-12000)(1.0-0)/(98000-12000)+0=0.716
2022-03-05 17:34:22
2.02MB
1
故障树的规范化处理
目的:是为了使FTA程序的输入格式标准化。
规范化的故障树在本质上只含有底事件（对立事件）、顶事件及
两类逻辑门（“与”、“或”）中的一类或两类逻辑门。
2022-03-01 17:37:26
1.45MB
1