如果X→Y和WY→Z成立,那么WX→Z成立。这条规则称为()
A: 增广律
B: 传递律
C: 伪传递律
D: 分解律
A: 增广律
B: 传递律
C: 伪传递律
D: 分解律
举一反三
- 如果X→Y和WY→Z成立,那么WX→Z成立。这条规则称为[] A: 增广性 B: 传递性 C: 伪传递性 D: 分解性
- 如果M→N,ON→P,那么OM→P成立,该规则称( ) 。 A: 增广律 B: 传递律 C: 伪传递律 D: 分解律
- 在关系模式R(U)中,如果X→Y和X→Z成立,那么X→YZ也成立。这条推理规则称为合并律。
- 在关系模式X(R,S,T)中,如果R→S和R→T成立,则R→ST也成立,这条规则称为 (169) 。 A: 自反律 B: 增广律 C: 合并律 D: 分解律
- Amrstrong公理系统的三条基本推理规则有() A: 自反律 B: 伪传递规则 C: 合并规则 D: 分解规则 E: 增广律 F: 传递律