论文部分内容阅读
为了表示元组和属性值的逻辑区别，引入了一个双层描述逻辑，其中概念分为两类：元组概念和属性值概念。给出双层描述逻辑的语言、语法和语义；然后定义从数据库中的关系到双层描述逻辑的知识库以及双层描述逻辑的模型的转换；最后扩展双层描述逻辑，使得其中的角色分为3类：元组之间的角色、元组与属性值之间的角色以及属性值之间的角色。