HANDLING INFINITE TEMPORAL DATA

被引:34
作者
KABANZA, F [1 ]
STEVENNE, JM [1 ]
WOLPER, P [1 ]
机构
[1] UNIV LIEGE,INST MONTEFIORE,B-4000 LIEGE,BELGIUM
关键词
D O I
10.1006/jcss.1995.1049
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper, we present a powerful framework for describing, storing, and reasoning about infinite temporal information. This framework is an extension of classical relational databases. It represents infinite temporal information by generalized tuples defined by linear repeating points and constraints on these points. We characterize the expressiveness of these generalized relations in terms of predicates definable in Presburger arithmetic. Next, we prove that relations formed from generalized tuples are closed under the operations of relational algebra and provide complexity results for the evaluation of first-order queries. (C) 1995 Academic Press, Inc.
引用
收藏
页码:3 / 17
页数:15
相关论文
共 33 条
[1]  
AABY AA, 1988, LECT NOTES COMPUT SC, V310, P218, DOI 10.1007/BFb0012834
[2]  
ABADI M, 1988, 1987 S LOG PROGR, P4
[3]   TOWARDS A GENERAL-THEORY OF ACTION AND TIME [J].
ALLEN, JF .
ARTIFICIAL INTELLIGENCE, 1984, 23 (02) :123-154
[4]   MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].
ALLEN, JF .
COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843
[5]  
ALLEN JF, 1985, 9TH P INT JOINT C AR, P528
[6]  
ALLEN JF, 1983, 8TH P INT JOINT C AR, P741
[7]   A TEMPORALLY ORIENTED DATA MODEL [J].
ARIAV, G .
ACM TRANSACTIONS ON DATABASE SYSTEMS, 1986, 11 (04) :499-527
[8]  
BACCHUS F, 1989, 1ST P INT C PRINC KN, P2
[9]  
BAUDINET M, 1989, 16 ACM S PRINC PROGR, P267
[10]  
CHOMICKI J, 1990, 9TH P ACM S PRINC DA, P379