单项选择题
在元组关系演算中，与公式(
s)(P
1
(s))等价的公式是______。
A．┐(
s)(P
1
(s))
B．(
s)( ┐P
l
(s))
C．┐(
s)( ┐P
1
(s))
D．┐(
s)( ┐P
1
(s))
单项选择题
s)(P
1
(s))等价的公式是______。
s)(P
1
(s))
s)( ┐P
l
(s))
s)( ┐P
1
(s))
s)( ┐P
1
(s))