14348 search results - page 407 / 2870 » Active Database Systems |
165
click to vote
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
198
click to vote
DBSEC
2006
15 years 8 months ago
2006
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
208
click to vote
DKE
1998
15 years 6 months ago
1998
The main purpose of this paper is to investigate the characteristics that distinguish spatial databases systems from traditional ones. Hereto, we give an overview of some well-kno...
182
Voted
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Since the 1970’s, database systems have been “compute-centric”. When a computation needs the data, it requests the data, and the data are pulled through the system. We belie...
167
click to vote
SSDBM
1998
IEEE
15 years 11 months ago
1998
IEEE
: Large scientific applications which rely on highly parallel computational analysis require highly parallel data access. We describe an object-oriented, scientific database system...