举一反三
- 设R⊆X×X， (∀x)(∀y)(∀z)(x∈X∧y∈X∧z∈X∧（x,y）∈R∧（y,z）∈R→（x,z）∈R)，则称R在X上是传递的。
- 以下哪几项是前束范式？ A: (∀x)(∀y)(P(x)∧(∃z)Q(y,z)∨R(x,z)) B: (∀z)(∀x)(∃y)(P(x)∧Q(y,z)∨R(x,z)) C: (∀x)(∀y)(P(x)∧Q(y,z)∨(∃z)R(x,z)) D: (∃x)(∃y)(∀z)(P(x)∧Q(y,z)∨R(x,z))
- 【简答题】指出下列关系模式是第几范式?并说明理由。 1 R (X,Y,Z) F={XY →Z} 1 R (X,Y,Z) F={Y →Z,XZ→Y} 1 R (X,Y,Z) F={Y →Z,Y→X,X→Y , X→ Z} 1 R (X,Y,Z) F={X →Y,X→Z} 1 R (W,X,Y,Z) F={X →Z,WX→Y}
- 与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是（ ）。 A: ("x)(P(x)∧Q(x, z))Þ($x)R(x, y) B: ("y)(P(y)∧Q(y, y))Þ($x)R(x, y) C: ("z)(P(z)∧Q(x, y))Þ($x)R(x, y) D: ("u)(P(u)∧Q(u, z))Þ($x)R(x, z)
- 将公式∀x(P(x)→Q(x，y))∧R(x，y)使用改名规则变换后正确的是 。 A: ∀z(P(z)→Q(z，y))∧R(x，y) B: ∀y(P(y)→Q(y，y))∧R(x，y) C: ∀z(P(z)→Q(x，y))∧R(x，y) D: ∀z(P(z)→Q(z，y))∧R(z，y)
内容
- 0
【单选题】与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是()。 A. ( " x )( P ( x ) ∧ Q ( x , z )) Þ ( $ x ) R ( x , y ) B. ( " y )( P ( y ) ∧ Q ( y , y )) Þ ( $ x ) R ( x , y ) C. ( " z )( P (z ) ∧ Q ( x , y )) Þ ( $ x ) R ( x , y ) D. ( " u )( P ( u ) ∧ Q ( u , z )) Þ ( $ x ) R ( x , z )
- 1
以下关系模式中属于BCNF的是（ ） A: R(X,Y,Z) F={Y→Z, XZ→Y} B: R(X,Y,Z) F={XY→Z} C: R(X,Y,Z) F={X→Y} D: R(X,Y,Z) F={X→Y, Y→Z}
- 2
判断下列关系模式可以达到的范式级别：1）R（X，Y，Z）F={XY→Z}2）R（X，Y，Z）F={Y→Z，XZ→Y}3）R（X，Y，Z）F={Y→Z，Y→X，X→YZ}4）R（X，Y，Z）F={X→Y，X→Z}
- 3
谓词公式∀xP(x)→∀xQ(x)∨∃yR(y)的前束范式为 A: ∀x∀z∃y(P(x)→Q(z) ∨ R( y)) B: ∃x∀z∃y(P(x)→Q(z) ∨ R( y)) C: ∀x∃y(P(x)→Q(x) ∨ R( y)) D: ∃x∀y(P(x)→Q(x) ∨ R( y))
- 4
设集合X={1,2,3,4},Y={2,3,4},Z={1,2,3},R是X到Y的关系，S是Y到Z的关系：R={<;x,y>;|x∈X∧y∈Y∧x+y=6}，S={<;y,z>;|y∈Y∧z∈Z∧y-z=1}求R°S=。