Sciweavers

201 search results - page 3 / 41
» Semantic Foundations of 4NF in Relational Database Design
Sort
View
ER
1995
Springer
120views Database» more  ER 1995»
13 years 11 months ago
Semantics of Time-Varying Attributes and their Use for Temporal Database Design
Based on a systematic study of the semantics of temporal attributes of entities, this paper provides new guidelines for the design of temporal relational databases. The notions of ...
Christian S. Jensen, Richard T. Snodgrass
ICDT
2010
ACM
180views Database» more  ICDT 2010»
14 years 4 months ago
Foundations of SPARQL Query Optimization
We study fundamental aspects related to the efficient processing of the SPARQL query language for RDF, proposed by the W3C to encode machine-readable information in the Semantic W...
Michael Schmidt, Michael Meier, Georg Lausen
FAC
2007
170views more  FAC 2007»
13 years 7 months ago
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
Patrice Chalin
ICDT
2009
ACM
127views Database» more  ICDT 2009»
14 years 2 months ago
A logical account of uncertain databases based on linear logic
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Sungwoo Park, Seung-won Hwang
ER
2000
Springer
151views Database» more  ER 2000»
13 years 11 months ago
Algebraic Database Migration to Object Technology
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
Andreas Behm, Andreas Geppert, Klaus R. Dittrich