1075 search results - page 95 / 215 » Toward a Verified Relational Database Management System |
VLDB
1991
ACM
14 years 12 days ago
1991
ACM
We propose a two-pha.se algorithm for physical database design. In phase one the algorithm, for each logical query, losesrules to determine characteristics of a physical design (s...
ICAS
2006
IEEE
14 years 2 months ago
2006
IEEE
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...
ICDE
2011
IEEE
13 years 18 days ago
2011
IEEE
—An increasing amount of data produced nowadays is in RDF format. While significant work has been performed on view selection and query optimization algorithms in relational dat...
AISC
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
OSDI
1994
ACM
13 years 10 months ago
1994
ACM
This paper presents lottery scheduling, a novel randomized resource allocation mechanism. Lottery scheduling provides efficient, responsive control over the relative execution rat...