Sciweavers

3836 search results - page 133 / 768
» Semantics of Database Transformations
Sort
View
122
Voted
EUROMICRO
1998
IEEE
15 years 7 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
119
Voted
ADBIS
2004
Springer
115views Database» more  ADBIS 2004»
15 years 9 months ago
Making More Out of an Inconsistent Database
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...
Jef Wijsen
147
Voted
ICDE
2006
IEEE
156views Database» more  ICDE 2006»
15 years 9 months ago
Video Database Modeling and Temporal Pattern Retrieval using Hierarchical Markov Model Mediator
The dream of pervasive multimedia retrieval and reuse will not be realized without incorporating semantics in the multimedia database. As video data is penetrating many informatio...
Na Zhao, Shu-Ching Chen, Mei-Ling Shyu
148
Voted
DAGSTUHL
1998
15 years 5 months ago
A Practical Approach to Hypothetical Database Queries
Hypothetical queries are queries embedding hypotheses about the database. The embedded hypothesis in a hypothetical query indicates, so to say, a state of the database intended for...
Henning Christiansen, Troels Andreasen
208
Voted
SIGMOD
2007
ACM
176views Database» more  SIGMOD 2007»
16 years 3 months ago
URank: formulation and efficient evaluation of top-k queries in uncertain databases
Top-k processing in uncertain databases is semantically and computationally different from traditional top-k processing. The interplay between query scores and data uncertainty ma...
Mohamed A. Soliman, Ihab F. Ilyas, Kevin Chen-Chua...