2858 search results - page 47 / 572 » Logics with Aggregate Operators |
SOSP
1989
ACM
13 years 10 months ago
1989
ACM
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
Graphs are widely used to model real world objects and their relationships, and large graph datasets are common in many application domains. To understand the underlying character...
WWW
2009
ACM
14 years 3 months ago
2009
ACM
Since more and more business data are represented in XML format, there is a compelling need of supporting analytical operations in XML queries. Particularly, the latest ver
ICALP
1998
Springer
14 years 29 days ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...
RITA
2000
13 years 8 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...