你可能感兴趣的试题
由X→Y，X→Z，有X→YZ 由XY→Z，有X→Z，Y→Z 由X→Y，WY→Z，有XW→Z 由X→Y及
，有X→Z
若X→Y，Y→Z，则X→Z 若X→Y，Y'[*]Y，则X→Y' 若X→Y，X'[*]X，则X'→Y 若X'[*]X，则X→X'
由X→Y，X→Z，有X→YZ 由XY→Z，有X→Z，Y→Z 由X→Y，WY→Z，有XW→Z 由X→Y及
，有X→Z
时钟中断可以屏蔽 时钟是操作系统运行的必要机制 时钟可以分成硬件时钟和软件时钟 利用时钟中断可以实现进程的轮转运行
每个进程有一个工作集 工作集大小与缺页率无关 工作集大小是可以调整的 工作集模型可以解决系统的颠簸（抖动）问题
若R∈BCNF，则必然R∈4NF 若R∈BCNF，则必然R∈3NF 若R∈BCNF，则必然R∈2NF 若R∈BCNF，则必然R∈lNF
由X→Y，X→Z，有X→YZ 由XY→Z，有X→Z，Y→Z 由X→Y，WY→Z，有XW→Z 由X→Y及
，有X→Z
由X→Y, X→Z, 有X→YZ 由XY→Z, 有X→Z, Y→Z 由X→Y, WY→Z, 有XW→Z 由X→Y及
, 有X→Z
由X→Y，X→Z，有X→YZ 由XY→Z，有X→Z，Y→Z 由X→Y，WY→Z，有XW→Z 由X→Y及 
，有X→Z
若X→Y，Y→Z，则X→Z 若X→Y，Y' ∈ Y，则X→Y' 若X→Y，X'∈X，则X'→Y 若X'∈X，则X→X'
若X→Y,Y→Z则X→Z 若X→Y,Y′∈Y则X→Y′ 若X→Y,X′∈X则X′→Y 若X′∈X则X→X′
关系模式的规范化问题与数据依赖的概念密切相关 数据依赖是现实世界属性间相互联系的抽象 数据依赖极为普遍地存在于现实世界中 只有两种类型的数据依赖：函数依赖和多值依赖
若X→Y,WY→Z,则XW→Z 若X Y,则X→Y 若XY→Z，则X→Z，Y→Z 若X∩Y=，则X→Y
若X→Y，且YX，则称X→Y为非平凡的函数依赖 若X→Y，且YX，则称X→Y为非平凡的函数依赖 若X→Y，且XY，则称X→Y为非平凡的函数依赖 若X→Y，Y→X，则称X→Y为非平凡的函数依赖
若X→Y，且存在属性集Z， Z∩Y≠，X→Z，则称Y对X部分函数依赖 若X→Y，且存在属性集Z， Z∩Y≠，X→Z，则称Y对X部分函数依赖 若X→Y，且存在X的真子集X’Z，X’→Z，则称Y对X部分函数依赖 若X→Y，且对于X的任何真子集X’，都有X’ Y，则称Y对X部分函数依赖
由X→Y，X→Z，有X→YZ 由XY→Z，有X→Z，Y→Z 由X→Y，WY→Z，有XW→Z 由X→Y及
，有X→Z
若一个模式分解保持函数依赖，则该分解一定具有无损连接性 若要求分解保持函数依赖，那么模式分解可以达到3NF，但不一定能达到BCNF 若要求分解既具有无损连接性，又保持函数依赖，则模式分解可以达到3NF，但不一定能达到BCNF 若要求分解具有无损连接性，那么模式分解一定可以达到BCNF
由X→Y，X→Z，有X→YZ 由XY→Z，有X→Z，Y→Z 由X→Y，WY→Z，有XW→Z 由X→Y及
，有X→Z
由X→Y, X→Z, 有X→YZ 由XY→Z, 有X→Z, Y→Z 由X→Y, WY→Z, 有XW→Z 由X→Y及
, 有X→Z
若X→Y，WY→Z，则XW→Z 若Y(X，则X→Y 若XY→Z，则X→Z，Y→Z 若X→YZ，则X→Y，X→Z
湘公网安备 43130202000226号