Sciweavers

6004 search results - page 465 / 1201
» Parallelizing query optimization
Sort
View
LPAR
2005
Springer
16 years 18 days ago
Incremental Integrity Checking: Limitations and Possibilities
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
Henning Christiansen, Davide Martinenghi
VLDB
1999
ACM
101views Database» more  VLDB 1999»
15 years 11 months ago
Spatio-Temporal Retrieval with RasDaMan
Database support for multidimensional arrays is an area of growing importance; a variety of highvolume applications such as spatio-temporal data management and statistics/OLAP bec...
Peter Baumann, Andreas Dehmel, Paula Furtado, Rola...
COMPSAC
1996
IEEE
15 years 11 months ago
A Logic Database System with Extended Functionality
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
Sang-goo Lee, Dong-Hoon Choi, Sang-Ho Lee
SODA
2004
ACM
137views Algorithms» more  SODA 2004»
15 years 8 months ago
The Bloomier filter: an efficient data structure for static support lookup tables
We introduce the Bloomier filter, a data structure for compactly encoding a function with static support in order to support approximate evaluation queries. Our construction gener...
Bernard Chazelle, Joe Kilian, Ronitt Rubinfeld, Ay...
CIDR
2011
249views Algorithms» more  CIDR 2011»
14 years 10 months ago
The Case for Predictive Database Systems: Opportunities and Challenges
This paper argues that next generation database management systems should incorporate a predictive model management component to effectively support both inward-facing application...
Mert Akdere, Ugur Çetintemel, Matteo Rionda...