Correct Schema Transformations
نویسنده
چکیده
We develop a formal basis of correct schema transformations. Schemas are formalized as abstract data types, and correct schema transformations are formalized as information-preserving signature interpretations. Our formalism captures transformations of all schema components, making it possible to transform uniformly constraints and queries along with structures. In addition, our formalism captures schema transformations between diierent data models as easily as those within the same data model. Compared with Hull's notion of relative information capacity, our notion of information preservation captures more schema transformations that are natural, and fewer schema transformations that are unnatural. Our work lays the foundation of a transformational framework of schema manipulations.
منابع مشابه
Schema Transformations ?
We develop a formal basis of correct schema transformations. Schemas are formalized as abstract data types, and correct schema transformations are formalized as information-preserving signature interpretations. Our formalism captures transformations of all schema components , making it possible to transform uniformly constraints and queries along with structures. In addition, our formalism capt...
متن کاملPosition Statement: Efficient development of data migration transformations
Data migration and integration projects typically involve two phases. The first phase aims at establishing the schema and data mappings required for transforming schema and data. The second phase consists of developing and executing the corresponding schema and data transformations. Several tools have been designed to assist the discovery of appropriate schema mappings [RB01], while data unders...
متن کاملDevelopment of Correct Transformation Schemata for Prolog Programs 1 Schema-based Transformations
Schema-based program transformation 5] has been proposed as an eeective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineecient constructs to more eecient ones. One challenging aspect of the technique is that of proving that the schemata are correct. This paper describes work in progress addressing the issue of correctness. We deene operation...
متن کاملConceptual Schema Optimisation – Database Optimisation before sliding down the Waterfall
In this article we discuss an approach to database optimisation in which a conceptual schema is optimised by applying a sequence of transformations. By performing these optimisations on the conceptual schema, a large part of the database optimisation can be done before actually sliding down the software development waterfall. When optimising schemas, one would like to preserve some level of equ...
متن کاملType checking XML transformations
XML documents are often generated by some application in order to be processed by a another program. For a correct exchange of information it has to be guaranteed that for correct inputs only correct outputs are produced. The shape of correct documents, i.e., their type, is usually specified by means of schema languages. This thesis is concerned with methods for statically guaranteeing that tra...
متن کامل