Sciweavers

2087 search results - page 47 / 418
» bdbms - A Database Management System for Biological Data
Sort
View
167
Voted
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...
131
Voted
CJ
1999
80views more  CJ 1999»
15 years 3 months ago
Resolving Executing-Committing Conflicts in Distributed Real-time Database Systems
In a distributed real-time database system (DRTDBS), a commit protocol is required to ensure transaction failure atomicity. If data conflicts occur between executing and committin...
Kam-yiu Lam, Chung-Leung Pang, Sang Hyuk Son, Jian...
228
Voted
SYRCODIS
2008
184views Database» more  SYRCODIS 2008»
15 years 5 months ago
Towards Cost-based Query Optimization in Native XML Database Management Systems
In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...
Andreas M. Weiner, Christian Mathis, Theo Här...
119
Voted
CIDR
2009
125views Algorithms» more  CIDR 2009»
15 years 4 months ago
Towards Eco-friendly Database Management Systems
Database management systems (DBMSs) have largely ignored the task of managing the energy consumed during query processing. Both economical and environmental factors now require th...
Willis Lang, Jignesh M. Patel
149
Voted
SIGMOD
2001
ACM
146views Database» more  SIGMOD 2001»
16 years 3 months ago
On Supporting Containment Queries in Relational Database Management Systems
Virtually all proposals for querying XML include a class of query we term "containment queries". It is also clear that in the foreseeable future, a substantial amount of...
Chun Zhang, Jeffrey F. Naughton, David J. DeWitt, ...