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

第240O1卷3年第1月1期 计 算 机 科 学 Vo1．40NO．1 Computer Science Jan2013 面向数据库中关系的描述逻辑 眭跃飞 刘 超 (中国科学院计算技术研究所 北京 100190) 摘 要 给出了两个面向数据库 中关系的描述逻辑。在其中一个描述逻辑 中，一个关系可以表示为一个知识库和这 个知识库的模型，并且对于这个知识库的任意模型，都存在一个与该关系同构的子模型；在另一个描述逻辑 中，一个关 系可以表示为一个知识库和这个知识库的模型，以便这个知识库的任何模型都 同构于这个关系。 关键词 数据库，关系，属性，描述逻辑，概念 中图法分类号 TP182 文献标识码 A DescriptionLogicsforRelationsinDatabases sUIYue-fei LIU Chao (InstituteofComputingTechnology，ChineseAcademyofSciences，Beijing100190，China) Abstract Twodescriptionlogicsforrelationsindatabasesweregiveninourwork．Ontheonehand，inonedescription logic，arelationcanberepresentedasaknow-ledgebaseandamodeloftheknowledgebase，andanymodelofthe knowledgebasehasasub-modelwhichisisomorphictotherelation；ontheotherhand，inanotherdescriptionlogic，are— lationcanberepresentedasaknowledgebaseandamodeloftheknowledgebasesothatanymodeloftheknowledge baseisisomorphictotherelation． Keywords Database，Relations，Attributes，Descriptionlogics，Concepts 用一个描述逻辑知识库表示一个数据库似乎太容易形式 1 前言 化。我们没有必要形式化一个数据库，因为一个数据库本身 Calvanese等人于 1997年和 1998年提 出了一个称为 就是形式的。用一个描述逻辑知识库去表示一个数据库，就 DLR的描述逻辑，它包含原子关系 P和原子概念A，其中原 是将一个数据库转换为描述逻辑中的一个知识库。这种转换 子关系的元数可以在 2和‰ 之间变动，nmax是一个大于或等 有几种选择。相应地，面向数据库中关系的描述逻辑也有几 于2的自然数。 具有如下的语法 ： 种选择：把一个关系转化为一个知识库和这个知识库的一个 TnlPl($i／n：C)I—RlR nR2 子模型；或者把一个关系转化为一个知识库和这个知识库的 T1lAl—cC【V1C21j[$i]Rl≤愚[$]R 模型；或者把一个关系转化为一个顶元组概念，并且把一个属 并且，ER模式可翻译成一个 蚴 2知识库。 性a的取值域D。转化为顶值概念。 目前，在从数据库到描述逻辑知识库的转换方面已经有 面向数据库中关系的描述逻辑应该在下面各点上不同于 许多成果l1．10_。为了表示一个数据库，一个描述逻辑知识库