单选题在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）A依赖函数BSkolem函数C决定函数D多元函数
单选题
在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）
A
依赖函数
B
Skolem函数
C
决定函数
D
多元函数
参考解析
解析：
暂无解析
相关考题：
（51）下列关于部分函数依赖的叙述中，哪一条是正确的？A）若 X→Y，且存在 Y 的真子集 X→Y 则称 Y对 X 部分函数依赖B）若 X→Y，且存在 Y 的真子集 X Y，则称Y 对X 部分函数依赖C）若 X→Y，且存在 X 的真子集 X→Y，则称Y 对X 部分函数依赖D）若 X→Y，且存在 X 的真子集 X Y，则称Y 对X 部分函数依赖
设R(U)是属性集u上的一个关系模式。X，Y，Z是U的子集，且z=U X—Y。下面关于多值依赖的传述中，不正确的是______。A．如果X→Y，及T包含在Y中，则必然存在X→TB．如果存在函数依赖X→Y，则必然存在X→ZC．如果X→Y，则必然存在X→YD．若z为空，则存在X→Z
设R(U)是属性集U上的关系模式。X，Y是U的子集。若对于R(U)的任意一个可能的关系R，R中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称( )。A．Y对X完全函数依赖B．R属于2NFC．X为U的候选码D．Y函数依赖于X
下列关于部分函数依赖的叙述中，（ ）是正确的?A)若X→Y，且存在Y的真子集Y ’，X→Y '，则称Y对x部分函数依赖B)若X→Y，且存在Y的真子集Y‘，X→Y '，则称Y对x部分函数依赖C)若X→Y，且存在X的真子集X'，X'→Y，则称Y对x部分函数依赖D)若X→Y，且存在X的真子集X'，X'→Y，则称Y对x部分函数依赖
（ 52 ）下列关于部分函数依赖的叙述中，哪一条是正确的？A ）若 X → Y ， 且存在 Y 的真子集 Y' ， X → Y' ， 则称 Y 对 X 部分函数依赖B ）若 X → Y ， 且存在 Y 的真子集 Y' ， X Y' ， 则称 Y 对 X 部分函数依赖C ）若 X → Y ， 且存在 X 的真子集 X' ， X' → Y ， 则称 Y 对 X 部分函数依赖D ）若 X → Y ， 且存在 X 的真子集 X' ， X' Y ， 则称 Y 对 X 部分函数依赖
在公式中yxp(x,y)),存在量词是在全称量词的辖域内,我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义,它把每个y值映射到存在的那个x。这种函数叫做() A.依赖函数B.Skolem函数C.决定函数D.多元函数
在关系模式R中，函数依赖X→Y的语义是（）A、在R的某一关系中，若任意两个元组的X值相等，则Y值也相等B、在R的一切可能关系中，若任意两个元组的X值相等，则Y值也相等C、在R的某一关系中，Y值应与X值相等D、在R的一切可能关系中，Y值应与X值相等
在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）A、依赖函数B、Skolem函数C、决定函数D、多元函数
在关系模式R中，Y函数依赖于X的语义是（）A、在R的某一关系中，若两个元组的X值相等，则Y值也相等。B、在R的每一关系中，若两个元组的X值相等，则Y值也相等。C、在R的某一关系中，Y值应与X值相等。D、在R的每一关系中，Y值应与X值相等。
多选题基于规则的逆向演绎系统对事实、规则和目标的化简过程（）A用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。B用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。C对规则的处理同（*）式。D用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
单选题在关系模式R中，函数依赖X→Y的语义是（）A在R的某一关系中，若任意两个元组的X值相等，则Y值也相等B在R的一切可能关系中，若任意两个元组的X值相等，则Y值也相等C在R的某一关系中，Y值应与X值相等D在R的一切可能关系中，Y值应与X值相等
单选题在R（U）中，如果Y函数依赖于X，并且存在X的一个真子集X’，使得Y函数依赖于X’，则Y是X的（）。A部分函数依赖B完全函数依赖C非平凡函数依赖D平凡函数依赖