3836 search results - page 195 / 768 » Semantics of Database Transformations |
146
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
205
click to vote
POPL
1995
ACM
15 years 7 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
147
click to vote
TCAD
2008
15 years 4 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
126
click to vote
DEXA
2005
Springer
15 years 9 months ago
2005
Springer
Finding intensional encapsulations of database subsets is the inverse of query evaluation. Whereas query evaluation transforms an intensional expression (the query) to its extensi...
126
click to vote
TIME
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a data model for movies and movie databases. A movie is considered to be a 2-dimensional semialgebraic figure that can change in time. We give a number of computabilit...