在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）

[名词解释] 量词的辖域

[填空题] 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。

[填空题] 在一个关系R中，若存在X→（Y，Z），则也隐含存在（X→Y）和（X→Z），称此为函数依赖的（）规则。

[填空题] 在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。

[判断题] 数量短语和指量短语统称量词短语。A . 正确B . 错误

[试题]在SQL的嵌套查询中，量词有ANY，___，___。

[试题]在关系模式R á U, F ñ 中，如果X®Y，且存在X的一个真子集X′，有X′®Y ，则称Y对X的依赖为 （ ） 函数依赖。

[单选题]在关系模式r(u，f)中，如果x→y，存在x的真子集x1，使x1→y，称函数依赖x→y为()A．平凡函数依赖B．部分函数依赖C．完全函数依赖D．传递函数依赖

[单选题]在关系模式R（U，F）中，如果X→Y，存在X的真子集X1，使X1→Y，称函数依赖X→Y为（）A . 平凡函数依赖B . 部分函数依赖C . 完全函数依赖D . 传递函数依赖

[名词解释] 量词