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

• 作者: 刘冬宁 林哲 汤庸 滕少华
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 时态数据库 子结构逻辑 时态查询 函数依赖
• 年，卷（期）: 2013,（8）
• 所属期刊栏目: 数据库、数据流和数据仓库
• 页码范围: 1592-1601
• 页数: 10页
• 分类号: TP301
• 字数: 9295字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.01592

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	滕少华	广东工业大学计算机学院	121	825	15.0	20.0
2	汤庸	华南师范大学计算机学院	92	593	13.0	19.0
3	刘冬宁	广东工业大学计算机学院	42	183	8.0	11.0
7	林哲	中山大学逻辑与认知研究所	7	45	3.0	6.0