3836 search results - page 144 / 768 » Semantics of Database Transformations |
142
Voted
ISKI
1992
15 years 7 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
142
Voted
ECMDAFA
2010
Springer
15 years 7 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
253
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
121
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
An important application of semantic web technology is recognizing human-defined concepts in text. Query transformation is a strategy often used in search engines to derive querie...
139
Voted
KRDB
2003
15 years 5 months ago
2003
Motivated by the possibilities of applying deductive database technology for efficient query answering in description logics, we present a translation operator µ that transforms...