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