与域演算表达式{ab|R（ab）∧R（ba）}不等价的关系代数表达式是（）。

单项选择题设关系模式R（A，B，C，D），F是R上成立的FD集，F={AB→C，D→B}，ρ={ACD，BD}是R上的一个分解，那么分解ρ（）。

A．保持函数依赖集F
B．丢失了AB→C
C．丢失了D→B
D．是否保持FD，由R的当前关系确定

单项选择题在元组关系演算中，与公式P1∧P2等价的公式是（）。

A．┐(P₁∨P₂)
B．┐P₁∨┐P₂
C．┐(┐P₁∨┐P₂)
D．┐(┐P₁∨┐P₂)