498 search results - page 36 / 100 » A Logical Temporal Relational Data Model |
EDBT
2000
ACM
15 years 3 months ago
2000
ACM
Warehouse view self-maintenance refers to maintaining materialized views at a data warehouse without accessing source data. Self-maintenance has been studied for nontemporal views...
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
CHARME
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
119
click to vote
FUIN
2006
14 years 12 months ago
2006
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...
100
click to vote
ESWS
2008
Springer
15 years 1 months ago
2008
Springer
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...