Reasoning about qualitative trends in databases

被引：9

作者：

Wijsen, J ^{[1
]}

机构：

[1] Free Univ Brussels, Dept Informat, B-1050 Brussels, Belgium

来源：

INFORMATION SYSTEMS | 1998年 / 23卷 / 07期

关键词：

temporal databases; functional dependency; order dependency; time granularity;

D O I：

10.1016/S0306-4379(98)00023-4

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We propose a temporal constraint, called trend dependency (TD), which captures a significant family of qualitative trends in databases. An important extension in comparison with existing temporal dependencies is that TDs allow attributes with linearly ordered domains to be compared over time by any operator of (<,=, >, less than or equal to,not equal,greater than or equal to) A sound and complete axiomatization for logical implication of TDs is provided. The complexity of the logical implication problem for TDs is investigated. A comparison with related work is provided at the end of the paper. We show that TDs can express most temporal dependencies that have so far been proposed in the literature. (C) 1998 Elsevier Science Ltd. All rights reserved.

引用

页码：463 / 487

页数：25

共 22 条

[1]

Abiteboul S., 1995, Foundations of databases, V1st

[2]

Baudinet M, 1995, LECT NOTES COMPUT SC, V893, P322

[3] A general framework for time granularity and its application to temporal reasoning [J].

Bettini, C ;

Wang, XS ;

Jajodia, S .

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1998, 22 (1-2) :29-58

[4] Data mining: An overview from a database perspective [J].

Chen, MS ;

Han, JW ;

Yu, PS .

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1996, 8 (06) :866-883

[5] On the feasibility of checking temporal integrity constraints [J].

Chomicki, J ;

Niwinski, D .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 51 (03) :523-535

[6]

CHOMICKI J, 1995, ACM T DATABASE SYST, V20, P148

[7] ON COMPLETENESS OF HISTORICAL RELATIONAL QUERY LANGUAGES [J].

CLIFFORD, J ;

CROKER, A ;

TUZHILIN, A .

ACM TRANSACTIONS ON DATABASE SYSTEMS, 1994, 19 (01) :64-116

[8] SORT SETS IN THE RELATIONAL MODEL [J].

GINSBURG, S ;

HULL, R .

JOURNAL OF THE ACM, 1986, 33 (03) :465-488

[9] ORDER DEPENDENCY IN THE RELATIONAL MODEL [J].

GINSBURG, S ;

HULL, R .

THEORETICAL COMPUTER SCIENCE, 1983, 26 (1-2) :149-195

[10] Solving satisfiability and implication problems in database systems [J].

Guo, S ;

Sun, W ;

Weiss, MA .

ACM TRANSACTIONS ON DATABASE SYSTEMS, 1996, 21 (02) :270-293

← 1 2 3 →