35 search results - page 1 / 7 » Temporal Versus First-Order Logic to Query Temporal Database... |
PODS
1996
ACM
13 years 9 months ago
1996
ACM
PODS
2006
ACM
14 years 5 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
DEXAW
2004
IEEE
13 years 9 months ago
2004
IEEE
In order to obtain a suitable model of the universe of discourse of some information systems, it is important to allow the description of imprecise objects with temporal indetermi...
COLING
2000
13 years 6 months ago
2000
Recent years have shown a surge in interest in temporal database systems, which allow users to store time-dependent intbrmation. We present a novel controlled natural language int...
ICDE
1998
IEEE
14 years 6 months ago
1998
IEEE
The association of timestamps with various data items such as tuples or attribute values is fundamental to the management of time-varying information. Using intervals in timestamp...