Sciweavers

14306 search results - page 375 / 2862
» Database System Concepts
Sort
View
ICDE
2009
IEEE
195views Database» more  ICDE 2009»
16 years 1 months ago
The PRISM Workwench: Database Schema Evolution without Tears
— Information Systems are subject to a perpetual evolution, which is particularly pressing in Web Information Systems, due to their distributed and often collaborative nature. Su...
Carlo Curino, Hyun J. Moon, MyungWon Ham, Carlo Za...
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
15 years 11 months ago
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
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...
David Spelt, Susan Even
DBSEC
2006
160views Database» more  DBSEC 2006»
15 years 8 months ago
On Finding an Inference-Proof Complete Database for Controlled Query Evaluation
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...
Joachim Biskup, Lena Wiese
182
Voted
SIGMOD
2010
ACM
310views Database» more  SIGMOD 2010»
15 years 11 months ago
The DataPath system: a data-centric analytic processing engine for large data warehouses
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...
Subi Arumugam, Alin Dobra, Christopher M. Jermaine...
SSDBM
1998
IEEE
105views Database» more  SSDBM 1998»
15 years 11 months ago
Scalable, Parallel, Scientific Databases
: Large scientific applications which rely on highly parallel computational analysis require highly parallel data access. We describe an object-oriented, scientific database system...
John L. Pfaltz, Russell F. Haddleton, James C. Fre...