1283 search results - page 35 / 257 » A Survey on Temporal Logics |
251
click to vote
VLDB
2005
ACM
16 years 6 months ago
2005
ACM
Joins are arguably the most important relational operators. Poor implementations are tantamount to computing the Cartesian product of the input relations. In a temporal database, t...
180
click to vote
LICS
2007
IEEE
16 years 11 days ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
132
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
We survey some of the methods used for manipulating, representing, and optimizing multi-valued logic with the view of both building a better understanding of the more specialized ...
145
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...
172
click to vote
JISBD
2003
15 years 7 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...