3836 search results - page 152 / 768 » Semantics of Database Transformations |
123
click to vote
VLDB
1990
ACM
15 years 7 months ago
1990
ACM
This paper presents an approach to maintaining consistency of object versions in multiversion database systems. In this approach a multiversion database is considered to be a set ...
126
Voted
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
115
click to vote
MSCS
2006
15 years 3 months ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
124
click to vote
ICDE
2008
IEEE
15 years 10 months ago
2008
IEEE
— As each of us perceives and conceptualizes the same world differently, imposing a single global schema for all users can seriously interfere with individual work and lead to er...
126
click to vote
OWLED
2008
15 years 5 months ago
2008
We study conjunctive query answering in the description logic EL, the core of the designated OWL2-EL profile of OWL2. In particular, we present an approach that allows the use of c...