4397 search results - page 373 / 880 » Relational Algebra Operations |
146
click to vote
WIA
2001
Springer
15 years 10 months ago
2001
Springer
A vector algorithm is an algorithm that applies a bounded number of vector operations to an input vector, regardless of the length of the input. In this paper, we describe the link...
139
click to vote
FMLDO
1999
Springer
15 years 10 months ago
1999
Springer
The concept of a transaction, highly significant in the context of data bases, is broadened to make it refer to any atomic operation that changes the state of a software system or...
162
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
In this paper, we present the results that we have obtained by comparing and testing three well-known database middleware solutions. We have analyzed their features related to glo...
205
Voted
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
129
Voted
ER
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. One of the most severe problems related to database evolution is how to reflect in the data level the changes that have occurred in the conceptual schema of a database. T...