面向数据库中关系的描述逻辑 |
| |
引用本文: | 睦跃飞,刘 超.面向数据库中关系的描述逻辑[J].计算机科学,2013,40(1):1-4,25. |
| |
作者姓名: | 睦跃飞 刘 超 |
| |
作者单位: | (中国科学院计算技术研究所 北京100190) |
| |
基金项目: | 国家自然科学基金项目(60273019,60496326,60573063,60573064);国家重点基础研究发展计划(973)(2005CB321901)资助 |
| |
摘 要: | 给出了两个面向数据库中关系的描述逻辑。在其中一个描述逻辑中,一个关系可以表示为一个知识库和这个知识库的模型,并且对于这个知识库的任意模型,都存在一个与该关系同构的子模型;在另一个描述逻辑中,一个关系可以表示为一个知识库和这个知识库的模型,以便这个知识库的任何模型都同构于这个关系。
|
关 键 词: | 数据库 关系 属性 描述逻辑 概念 |
本文献已被 CNKI 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|