2.4.2 域关系演算语言QBE