796 search results - page 83 / 160 » A Formalization of ODMG Queries |
145
Voted
CI
2000
15 years 19 days ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
168
Voted
SIGMOD
2006
ACM
16 years 29 days ago
2006
ACM
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
118
click to vote
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
This paper introduces a formalism to describe the needs and preferences of database users. Because of the precise formulation of these concepts, we have found an automatic and ver...
112
click to vote
ICDCS
1995
IEEE
15 years 4 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
126
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...