Sciweavers

35 search results - page 1 / 7
» Temporal Versus First-Order Logic to Query Temporal Database...
Sort
View
PODS
1996
ACM
102views Database» more  PODS 1996»
14 years 3 months ago
Temporal Versus First-Order Logic to Query Temporal Databases
Serge Abiteboul, Laurent Herr, Jan Van den Bussche
PODS
2006
ACM
122views Database» more  PODS 2006»
14 years 11 months ago
Verification of communicating data-driven web services
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...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
DEXAW
2004
IEEE
118views Database» more  DEXAW 2004»
14 years 2 months ago
LITO - A Logic For Indeterminate Temporal Objects
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...
Ed Porto Bezerra, Ulrich Schiel, Bernardo Lula Jr.
COLING
2000
14 years 6 days ago
Querying Temporal Databases Using Controlled Natural Language
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...
Rani Nelken, Nissim Francez
ICDE
1998
IEEE
70views Database» more  ICDE 1998»
15 years 6 days ago
Point-Versus Interval-Based Temporal Data Models
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...
Michael H. Böhlen, Renato Busatto, Christian ...