基于描述逻辑的ODMG对象数据模型表示与推理

刘 海，汤 庸，陈启买

(华南师范大学计算机学院，广东广州510631)

面向对象数据库技术是面向对象技术和数据库技术结合的产物．随着网络平台模型、移动网络技术、场景技术发展，业界存在大量对象数据的管理需求．ODMG 组 织 先 后 推 出 ODMG 1．0［1］、ODMG 2．0［2］和 ODMG 3．0［3］规范，学者们从面向对象数据库的查询优化［4］、面向对象数据库管理系统的主动机制［5］和面向对象数据模型的时态扩展［6］等方面进行相关研究．与ER数据模型、UML软件功能模型相似，ODMG面向对象数据模型同样存在对象一致性、关系一致性、冗余性判断问题，因此需要研究ODMG对象数据模型的一致性和冗余性等自动推理判断问题．

有关数据模型的相关检测的研究，CALVANESE等［7-8］和 BAADER 等［9］分别利用描述逻辑 DLR 和ALNUI，将ER模型转化为描述逻辑DLR和ALNUI的知识库，并利用描述逻辑DLR和ALNUI的推理机制，对ER模型实体可满足性、关系可满足性和模型冗余性等进行自动推理，但没有考虑ER模型中的属性依赖关系．LUTZ［10-11］研究了带属性依赖的ER模型的自动推理问题．蒋运承等［12-13］针对模糊数据库的特点，特别是模糊ER模型的验证需求，在描述逻辑ALNUI的基础上，提出模糊描述逻辑FALNUI，并将模糊ER模型转化为对应的知识库，利用FALNUI的推理机制对模糊ER模型进行推理;同样，蒋运承等［14］将带属性依赖时序ER模型εRVTAD转化为ALCQI(D)US的知识库，从而利用ALCQI(D)US的推理机制对带属性依赖时序ER模型εRVTAD的可满足性、冗余性、包含关系和蕴含关系等问题进行自动推理．CALVANESE等［15］利用描述逻辑讨论面向对象数据模型与描述逻辑ALUNI知识……