关系代数派生算子语义表达式间等价性证明

杨波1,2,3+ ,薛锦云1

Proof of equivalence between semantic expressions of derived relational algebra operators

YANG Bo ^1,2,3+, XUE Jinyun ¹

计算机科学与探索 . 2008, (1): 97 -103 .