Sciweavers

2067 search results - page 107 / 414
» Modeling and exploiting query interactions in database syste...
Sort
View
MEDINFO
2007
116views Healthcare» more  MEDINFO 2007»
15 years 6 months ago
Knowledge-Level Querying of Temporal Patterns in Clinical Research Systems
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
Martin J. O'Connor, Ravi D. Shankar, David B. Parr...
SIGMOD
2009
ACM
114views Database» more  SIGMOD 2009»
16 years 4 months ago
A framework for testing query transformation rules
In order to enable extensibility, modern query optimizers typically leverage a transformation rule based framework. Testing individual rule correctness as well as correctness of r...
Hicham G. Elmongui, Vivek R. Narasayya, Ravishanka...
POPL
2010
ACM
16 years 1 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
DBPL
2003
Springer
144views Database» more  DBPL 2003»
15 years 9 months ago
A General Framework for Estimating XML Query Cardinality
Abstract. In the context of XML data management systems, the estimation of query cardinality is becoming more and more important: the information provided by a query result estimat...
Carlo Sartiani
BMCBI
2005
292views more  BMCBI 2005»
15 years 4 months ago
Atlas - a data warehouse for integrative bioinformatics
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...
Sohrab P. Shah, Yong Huang, Tao Xu, Macaire M. S. ...