Sciweavers

8249 search results - page 213 / 1650
» The DBO database system
Sort
View
113
Voted
ADBIS
2008
Springer
117views Database» more  ADBIS 2008»
15 years 5 months ago
Reclassification of Linearly Classified Data Using Constraint Databases
In many problems the raw data is already classified according to a variety of features using some linear classification algorithm but needs to be reclassified. We introduce a novel...
Peter Z. Revesz, Thomas Triplet
132
Voted
ICDE
2009
IEEE
195views Database» more  ICDE 2009»
15 years 10 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...
134
Voted
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
15 years 8 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
153
Voted
DBSEC
2006
160views Database» more  DBSEC 2006»
15 years 5 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
176
Voted
SIGMOD
2011
ACM
230views Database» more  SIGMOD 2011»
14 years 6 months ago
GBLENDER: visual subgraph query formulation meets query processing
Due to the complexity of graph query languages, the need for visual query interfaces that can reduce the burden of query formulation is fundamental to the spreading of graph data ...
Changjiu Jin, Sourav S. Bhowmick, Xiaokui Xiao, By...