面向数据库中关系的描述逻辑

给出了两个面向数据库中关系的描述逻辑。在其中一个描述逻辑中，一个关系可以表示为一个知识库和这个知识库的模型，并且对于这个知识库的任意模型，都存在一个与该关系同构的子模型;在另一个描述逻辑中，一个关系可以表示为一个知识库和这个知识库的模型，以便这个知识库的任何模型都同构于这个关系。