Sciweavers

573 search results - page 52 / 115
» Sketch Data Models, Relational Schema and Data Specification...
Sort
View
BIRTHDAY
2007
Springer
14 years 1 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
VLDB
2005
ACM
206views Database» more  VLDB 2005»
14 years 1 months ago
Native XML Support in DB2 Universal Database
The major relational database systems have been providing XML support for several years, predominantly by mapping XML to existing concepts such as LOBs or (object-)relational tabl...
Matthias Nicola, Bert Van der Linden
SIGMOD
2010
ACM
170views Database» more  SIGMOD 2010»
14 years 13 days ago
Querying data provenance
Many advanced data management operations (e.g., incremental maintenance, trust assessment, debugging schema mappings, keyword search over databases, or query answering in probabil...
Grigoris Karvounarakis, Zachary G. Ives, Val Tanne...
BMCBI
2008
132views more  BMCBI 2008»
13 years 7 months ago
Mixture models for analysis of melting temperature data
Background: In addition to their use in detecting undesired real-time PCR products, melting temperatures are useful for detecting variations in the desired target sequences. Metho...
Christoffer Nellåker, Fredrik Uhrzander, Joa...
ER
1995
Springer
152views Database» more  ER 1995»
13 years 11 months ago
A Logic Framework for a Semantics of Object-Oriented Data Modeling
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
Olga De Troyer, Robert Meersman