Searching for "Correct Schema Transformations." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Correct Schema Transformations
- …Correct Schema Transformations Xiaolei Qian Computer Science Laboratory SRI International qian…
- Cited by 6 (0 self) – Add To MetaCart
-
Conjunctive Query Equivalence of Keyed Relational Schemas
- …], and used to evaluate the correctness of schema transformations. The logically equivalent notion…
- Cited by 1 (0 self) – Add To MetaCart
-
Role Modelling: the ASSO Perspective
- … is a formal correct transformation from the conceptual schema to the logical schema (see Figure 1…
- Cited by 1 (0 self) – Add To MetaCart
-
High Performance Clustering Based on the Similarity Join
- … is not available in the cache. In order to show the correctness of this schema transformation, we prove…
- Cited by 5 (0 self) – Add To MetaCart
-
Automatic Derivation of Logic Programs by Transformation
- … and recursive schemata). Usually, we are interested in the correct transformation from a schema S 1 to a schema…
- Cited by 1 (0 self) – Add To MetaCart
-
A Formal Model for Temporal Schema Versioning in Object-Oriented Databases
- … on the operational aspects of schema versioning in order to provide users with a provably correct evolving schema…
- Cited by 6 (3 self) – Add To MetaCart
-
Schema Intension Graphs: A Formal Model for the Study of Schema Equivalence
- … Information Capacity The measure of correctness for schema transformations that we use is based…
- Cited by 5 (1 self) – Add To MetaCart
-
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
- … for solving these tasks. £ The correctness of schema transformation can be formally checked. The provided…
- Add To MetaCart
Showing 1 through 8.
