基于时态数据库的极小子结构逻辑系统

被引：19

作者：

刘冬宁 ^{[1
,2
]}

汤庸 ^{[3
]}

滕少华 ^{[1
]}

林哲 ^{[2
]}

机构：

[1] 广东工业大学计算机学院

[2] 中山大学逻辑与认知研究所

[3] 华南师范大学计算机学院

来源：

计算机学报 | 2013年 / 36卷 / 08期

基金：

广东省自然科学基金;

关键词：

时态数据库; 子结构逻辑; 时态查询; 函数依赖;

D O I：

暂无

中图分类号：

TP311.13 [];

学科分类号：

1201 ;

摘要：

逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数据库及其信息处理中关键的知识推理、时态操作与函数依赖等内容,构建了一个极小的(最小的)子结构逻辑系统TDLmin,其恰好等价于传统的数据库函数依赖Armstrong规则.TDLmin系统能在逻辑语义模型中对时序性、时间属性进行表达,而在句法逻辑系统将时间剥离,从而既表达了时态知识,对时态操作进行处理,又降低了逻辑系统的复杂度,使得逻辑系统的时间复杂度为P-time(O(n2)).而该逻辑系统还可与传统的Allen方法进行对接,使得相关时态查询所需的时间代价为传统非时态查询的时间加上一个复杂度仅为O(n)的线性时间,从而使得系统具有更强的普适性和应用前景.

引用

页码：1592 / 1601

页数：10

共 6 条

[1] 时态数据库时间轴的动态逻辑模型 [J].

刘冬宁 ;

汤庸 .

软件学报, 2010, 21 (04) :694-701

[2] 基于描述逻辑的带属性依赖时序ER模型 [J].

蒋运承 ;

汤庸 ;

王驹 ;

冀高峰 .

计算机研究与发展, 2007, (10) :1765-1773

[3]

时态数据库设计理论[M]. 科学出版社 , 郝忠孝, 2009

[4]

The ramification problem in temporal databases: an approach with conflicting constraints[J] . Nikos Papadakis,Dimitris Plexousakis,Myron Papadakis,Harris Manifavas.Journal of Intelligent Information Systems . 2012 (1)

[5]

Type Logics and Pregroups[J] . Wojciech Buszkowski.Studia Logica . 2007 (2)

[6] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].

ALLEN, JF .

COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843

← 1 →