Sciweavers

2169 search results - page 170 / 434
» Inferencing in Database Semantics
Sort
View
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...
ACSC
2003
IEEE
15 years 9 months ago
Context-Sensitive Mobile Database Summarisation
In mobile computing environments, as a result of the reduced capacity of local storage, it is commonly not feasible to replicate entire datasets on each mobile unit. In addition, ...
Darin Chan, John F. Roddick
NAR
2011
208views Computer Vision» more  NAR 2011»
14 years 7 months ago
MIPS: curated databases and comprehensive secondary data resources in 2010
The Munich Information Center for Protein Sequences (MIPS at the Helmholtz Center for Environmental Health, Neuherberg, Germany) has many years of experience in providing annotate...
Hans-Werner Mewes, Andreas Ruepp, Fabian J. Theis,...
VLDB
2005
ACM
162views Database» more  VLDB 2005»
15 years 10 months ago
XQuery Implementation in a Relational Database System
Many enterprise applications prefer to store XML data as a rich data type, i.e. a sequence of bytes, in a relational database system to avoid the complexity of decomposing the dat...
Shankar Pal, Istvan Cseri, Oliver Seeliger, Michae...
DEXA
2004
Springer
110views Database» more  DEXA 2004»
15 years 9 months ago
An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Databases
Data integration is the process that gives users access to multiple data sources though queries against a global schema. Semantic heterogeneity has been identified as the most imp...
Ladjel Bellatreche, Guy Pierra, Dung Nguyen Xuan, ...