因?yàn)殛P(guān)系是一個(gè)元組的集合,而元組在集合中的順序無關(guān)緊要。因此不考慮元組間的順序,即沒有行序。
在驗(yàn)證公式時(shí)需對(duì)無窮多個(gè)元組進(jìn)行驗(yàn)證就是無窮驗(yàn)證。