首页
在元组关系演算中,投影操作需要在谓词公式中满足条件的元组前加()量词符号。
未来题库
→
百科
在元组关系演算中,投影操作需要在谓词公式中满足条件的元组前加()量词符号。
正确答案:存在
Tags:
谓词
量词
演算
猜你喜欢
1.
设个体域D={1,2},则谓词公式(“”x)P(x)∨($x)Q(x)消去量词后的等值式为(P(1)∧P(2))∨(Q(1)∨Q(2)).
2.
设个体域D={1,2,3},则谓词公式(“”x)A(x)消去量词后的等值式为A(1)∧A(2)∧A(3).
3.
设个体域D={a,b,c},那么谓词公式($x)A(x)∨(“”y)B(y)消去量词后的等值式为().
4.
(“”x)(P(x)∧Q(y))→R(x)中量词“”””的辖域为(P(x)∧Q(y)).
5.
(“”x)(P(x)∧Q(y)→R(x))中量词“”””的辖域为(P(x)∧Q(y)).
6.
设P是谓词公式,对于P的任何论域,存在P为真的情况,则称P为永真式。()
7.
SQL中谓词EXIST可用来测试一个集合是否()。