设定义在字母表{a,b,c,x,y,z}上的正规式r=(a|b|c)(x|y|z),则L(r)中元素有__个()
A: 9
B: 6
C: 18
D: 27
A: 9
B: 6
C: 18
D: 27
举一反三
- 设R⊆X×X, (∀x)(∀y)(∀z)(x∈X∧y∈X∧z∈X∧(x,y)∈R∧(y,z)∈R→(x,z)∈R),则称R在X上是传递的。
- 以下关系模式中属于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}
- 将公式∀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)
- 以下哪几项是前束范式? 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))
- 设有关系模式R(X,Y,Z),其中函数依赖集F={(X,Y)→Z,Z→Y},则关系模式R的候选码是()。 A: (X,Y) B: (X,Y)和Z C: (X,Y)和(X,Z) D: (X,Y)和(Y,Z)