有没有办法检查两个(非平凡)选择是否相当?
– 编辑 –
最初我希望两个选择之间的正式对等,但答案在
proving-sql-query-equivalency阻止我
对于我的实际需要,我可以检查两个选择的(实际)结果是否相同.
– 编辑 –
最初我希望两个选择之间的正式对等,但答案在
proving-sql-query-equivalency阻止我
对于我的实际需要,我可以检查两个选择的(实际)结果是否相同.