1500 search results - page 74 / 300 » Query Optimization in Database Grid |
VLDB
1998
ACM
14 years 1 months ago
1998
ACM
The goal of the COKO-KOLA project [10, 91 is to express rules of rule-basedoptimizers in a mannerpermitting verification with a theoremprover. In [IO], we consideredquerytransform...
IDEAS
2002
IEEE
14 years 1 months ago
2002
IEEE
Boolean expression simplification is a well-known problem in the history of Computer Science. The problem of determining prime implicates from an arbitrary Boolean expression has...
COMPSAC
1996
IEEE
14 years 1 months ago
1996
IEEE
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...
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
Life science laboratories today have to rely on procedural techniques to store and manage large sequence datasets. Procedural techniques are cumbersome to use and are often very i...
CIDR
2011
13 years 15 days ago
2011
This paper argues that next generation database management systems should incorporate a predictive model management component to effectively support both inward-facing application...