ADBIS
2004
Springer
14 years 1 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
14 years 1 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...
ADBIS
2004
Springer
14 years 1 months ago
2004
Springer
Trend analysis and forecasting applications (e.g., securities trading, stock market, and after-the-fact diagnosis) need event detection along a moving time window. Event-driven app...
ADBIS
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we consider concurrent execution of multiple data mining queries in the context of discovery of frequent itemsets. If such data mining queries operate on similar part...
ADBIS
2004
Springer
14 years 3 months ago
2004
Springer
Repairing a database means making the database consistent by applying changes that are as small as possible. Nearly all approaches to repairing have assumed deletions and insertion...
ADBIS
2004
Springer
14 years 3 months ago
2004
Springer
What is presented in this paper is our work in the area of image organization and retrieval in Image Databases using global color features and spatial color distribution of images....
ADBIS
2004
Springer
14 years 3 months ago
2004
Springer
The old idea of navigation in a database is revisited with two essential changes: we address Web users rather than programmers and the navigation is accomplished as a visual metaph...
ADBIS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In today’s global environment, the structure and presentation of information may depend on the underlying context of the user. To address this issue, in previous work w...
ADBIS
2004
Springer
14 years 3 months ago
2004
Springer
ADBIS
2004
Springer
14 years 3 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...