23 search results - page 2 / 5 » adbis 2004 |
ADBIS
2004
Springer
13 years 10 months ago
2004
Springer
: The purpose of the current work is to explore and improve the analysis of event data stored in event repositories, enabling the application of specialized event algebra operators...
ADBIS
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
ADBIS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
ADBIS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Often, XML documents stored in an XML database must be transformed by an XSL processor into a client-specific format before queries are submitted. In applications where X...
ADBIS
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...