Sciweavers

1075 search results - page 88 / 215
» Toward a Verified Relational Database Management System
Sort
View
BMCBI
2006
125views more  BMCBI 2006»
13 years 9 months ago
Development of an open source laboratory information management system for 2-D gel electrophoresis-based proteomics workflow
Background: In the post-genome era, most research scientists working in the field of proteomics are confronted with difficulties in management of large volumes of data, which they...
Hiraku Morisawa, Mikako Hirota, Tosifusa Toda
WEBDB
2005
Springer
105views Database» more  WEBDB 2005»
14 years 2 months ago
On the Expressive Power of Node Construction in XQuery
In the relational model it has been shown that the flat relational algebra has the same expressive power as the nested relational algebra, as far as queries over flat relations ...
Wim Le Page, Jan Hidders, Philippe Michiels, Jan P...
CIKM
2000
Springer
14 years 16 days ago
Visual Query and Analysis Tool of the Object-Relational GIS Framework
Geographic Information Systems (GISs) have become an essential tool for efficient handling of our natural and artificial environment. The most important activities in a GIS are qu...
Zoran Stojanovic, Slobodanka Djordjevic-Kajan, Dra...
EJC
2008
13 years 10 months ago
Center Fragments for Upscaling and Verification in Database Semantics
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
Roland Hausser
EDBT
1994
ACM
149views Database» more  EDBT 1994»
14 years 1 months ago
On the Estimation of Join Result Sizes
Abstract. Good estimates of join result sizes are critical for query optimization in relational database management systems. We address the problem of incrementally obtaining accur...
Arun N. Swami, K. Bernhard Schiefer