Sciweavers

573 search results - page 2 / 115
» Temporal Views as Abstract Relations
Sort
View
EDBT
1998
ACM
124views Database» more  EDBT 1998»
13 years 12 months ago
Maintaining Temporal Views over Non-Temporal Information Sources for Data Warehousing
An importantuse of data warehousing is to provide temporal views over the history of source data that may itself be non-temporal. While recent work in view maintenance is applicab...
Jun Yang 0001, Jennifer Widom
ICDE
2006
IEEE
146views Database» more  ICDE 2006»
14 years 9 months ago
Using XML to Build Efficient Transaction-Time Temporal Database Systems on Relational Databases
In this paper, we present the ArchIS system that achieves full-functionality transaction-time databases without requiring temporal extensions in XML or database standards. ArchIS&...
Fusheng Wang, Xin Zhou, Carlo Zaniolo
FM
2006
Springer
169views Formal Methods» more  FM 2006»
13 years 11 months ago
PSL Model Checking and Run-Time Verification Via Testers
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
Amir Pnueli, Aleksandr Zaks
FQAS
2006
Springer
120views Database» more  FQAS 2006»
13 years 11 months ago
Question Answering with Imperfect Temporal Information
Abstract. A temporal question answering system must be able to deduce which qualitative temporal relation holds between two events, a reasoning task that is complicated by the fact...
Steven Schockaert, David Ahn, Martine De Cock, Eti...
TIME
1994
IEEE
13 years 11 months ago
An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
Robert A. Morris, William D. Shoaff, Lina Khatib