若A→B为F所逻辑蕴涵，且C(图片)U，则AC→BC为F所逻辑蕴涵，这是函数依赖的 ( )推理规则。

A．分配律

B．自反律

C．传递律

D．增广律

[试题]A．rmstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZíU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作（ ）

[名词解释] 函数依赖的逻辑蕴涵

[填空题] 被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合称为（），用符号（）表示。

[问答题] 计算题：已知四变量逻辑函数为：f（A、B、C、D）＝（＋BC）（B＋CD）。试求该函数的与非表达式并画出相应的逻辑图。

[单选题]函数F（A，B，C）=AB+BC+AC的最小项表达式为（）A . F（A，B，C.=∑m（0，2，4）B . （A，B，C.=∑m（3，5，6，7）C . F（A，B，C.=∑m（0，2，3，4）D . F（A，B，C.=∑m（2，4，6，7）

[试题]A．rmstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。

[单选题]设逻辑函数则与f等价的逻辑函数是( )。A．a+cB．a+bC．D．

[单选题]关系模式R属性集为{A，B，C}，函数依赖集F={AB→C，AC→B，B→C}，则R属于(42)。A．1NFB．2NFC．3NFD．BCNF

[单选题]给定关系模式R（U，F），U={A，B，C，D，E，H}，函数依赖集F={A→B，A→C，C→D，AE→H}。关系模式R的候选关键字为（）。A . ACB . ABC . AED . DE

[试题]设关系模式R(A，B，C，D，E，F)，函数依赖集F={A_C，C_A，B—AC，D一,AC，BD—A}。1)求出R的候选码及F的最小函数依赖集。2)将R分解为3NF，使其既具有无损连接性又具有函数依赖保持性。