设有关系R和S,与R-S等价的元组关系演算表达式是
·{t|R(t)∨┐s(t)}
·{t|R(t)∧┐S(t)}
·{t|(u)R(t∨┐S(u))
·{t| (u)R(t)∧┐S(u)}
出自:佳木斯大学语言治疗学