学位论文 > 优秀研究生学位论文题录展示

基于描述逻辑的模糊语义数据库模型的表示与推理

作　者: 张富
导　师: 马宗民
学　校: 东北大学
专　业: 计算机系统结构
关键词: 模糊语义数据库模型模糊ER模型模糊面向对象数据(FOOD)模型模糊描述逻辑语义保持的转化
分类号: TP311.13
类　型: 硕士论文
年　份: 2008年
下　载: 51次
引　用: 0次
阅　读: 论文下载

内容摘要

在数据库设计阶段,如何设计一个即具有较强的语义表达能力,又简单、清晰、易于用户理解的语义数据库模型显得尤为重要。基于此目的,已有工作研究了如何将语义数据库模型—ER模型和面向对象数据(OO)模型转化为描述逻辑的知识库,从而利用描述逻辑的推理机制对ER模型和OO模型的包含关系和冗余性等推理问题进行自动推理,这有助于构建更符合实际需求的语义数据库模型,同时也是相关研究工作的动机所在。然而,在现实世界应用中,信息常常是模糊和不确定的。针对模糊知识的处理,已经存在多种形式的模糊描述逻辑和模糊语义数据库模型—模糊ER模型和模糊面向对象数据模型,但是研究基于描述逻辑的模糊语义数据库模型的工作却相对甚少。本文主要研究基于描述逻辑的模糊语义数据库模型—模糊ER模型和模糊面向对象数据模型的表示与推理,即研究如何将这两种模型转化为描述逻辑的知识库,并研究如何利用描述逻辑的推理机制对两种模型的推理问题进行自动推理。具体内容如下：针对ER模型,本文重点分析了将ER模型分别转化为描述逻辑ALUNI知识库和DLR知识库的不同之处。在描述逻辑DLR的基础之上,对DLR进行了模糊化扩展,提出了一种新的更适合于对模糊ER模型进行表示的模糊描述逻辑fuzzy DLR(FDLR)。给出了模糊ER模型的形式化定义和语义。在此基础上,实现了从模糊ER模型到FDLR知识库的转化,并给出了一个转化实例。最后研究了如何利用FDLR的推理机制对模糊ER模型的推理问题进行自动推理。当然也证明了转化和推理问题的正确性。针对OO模型,通过分析OO模型与描述逻辑ALUNI的关系,提出了一种适合于对模糊面向对象数据(FOOD)模型进行表示的模糊描述逻辑fuzzy ALUN (FALUN)。给出了FOOD模型的形式化定义和语义。研究了基于FALUN的FOOD模型,即实现了从FOOD模型到FALUN知识库的转化,并利用FALUN的推理机制研究了FOOD模型的自动推理问题。给出了一个转化实例,证明了转化和推理问题的正确性。

全文目录

摘要  5-6
Abstract  6-10
第1章绪论  10-18
  1.1 研究背景  10-12
  1.2 描述逻辑在数据库建模中的研究现状及存在的问题  12-14
  1.3 本文研究内容及意义  14-15
  1.4 论文组织结构  15-18
第2章描述逻辑基础知识  18-24
  2.1 描述逻辑  18-21
  2.2 模糊描述逻辑  21-23
  2.3 小结  23-24
第3章用于表示ER和面向对象数据模型的描述逻辑的选取  24-36
  3.1 基于描述逻辑的ER模型  24-30
    3.1.1 ER模型  24-27
    3.1.2 基于描述逻辑ALUNI和DLR的ER模型  27-30
  3.2 基于描述逻辑的面向对象数据模型  30-34
    3.2.1 面向对象数据模型  30-32
    3.2.2 基于描述逻辑ALUNI的面向对象数据模型  32-34
  3.3 小结  34-36
第4章基于描述逻辑FDLR的模糊ER模型  36-52
  4.1 模糊描述逻辑FDLR  36-40
    4.1.1 语法  36-37
    4.1.2 语义  37-38
    4.1.3 知识库  38-40
  4.2 模糊ER模型  40-42
  4.3 模糊ER模型到FDLR知识库的转化  42-46
  4.4 模糊ER模型的推理  46-49
    4.4.1 推理问题的转化  46-49
    4.4.2 推理问题的实现方案  49
  4.5 小结  49-52
第5章基于描述逻辑FALUN的模糊面向对象数据模型  52-68
  5.1 模糊描述逻辑FALUN  52-57
    5.1.1 语法  52
    5.1.2 语义  52-54
    5.1.3 知识库  54-55
    5.1.4 可满足性推理算法  55-57
  5.2 模糊面向对象数据模型  57-60
  5.3 模糊面向对象数据模型到FALUN知识库的转化  60-65
  5.4 模糊面向对象数据模型的推理  65-67
    5.4.1 推理问题的转化  65-67
    5.4.2 推理问题的实现方案  67
  5.5 小结  67-68
第6章总结与展望  68-70
参考文献  70-74
致谢  74-76
攻读硕士学位期间发表的论文  76

相似论文

含限定性数目约束的模糊描述逻辑FALCQ,O159
支持模糊数据类型表示的模糊描述逻辑研究,TP391.1
模糊描述逻辑F-SHIQ公理体系及其推理机制的研究,TP181
基于模糊逻辑的语义服务发现研究,TP393.09
产品设计知识管理关键技术研究及实现,TP182
海量多数据库集成系统的查询处理研究,TP311.13
频繁图结构并行挖掘算法的研究与实现,TP311.13
海量多数据库集成系统的Mediator和Wrapper机制的设计与实现,TP311.13
隐式用户兴趣挖掘的研究与实现,TP311.13
基于BAP的数据压缩、操作与查询处理系统的实现,TP311.13
医疗信息集成平台中DICOM中间件及访问控制模型的设计与实现,TP311.13
K-均值聚类算法的研究与改进,TP311.13
K-means聚类优化算法的研究,TP311.13
公安110指挥决策业务系统,TP311.13
基于分治法的聚类方法研究,TP311.13
不完备信息系统的完备化及其上的知识获取,TP311.13
演化聚类算法及其应用研究,TP311.13
分布式事务处理协议的研究与应用,TP311.13
教学质量评估数据挖掘系统设计与开发,TP311.13
数据挖掘技术在电视用户满意度分析中的应用研究,TP311.13
Web使用挖掘与网页个性化服务推荐研究,TP311.13