关系模型的基本性质