Constraint-aware schema transformation

DOI10.1016/J.ENTCS.2012.11.008MaRDI QIDQ5166635zbMATH OpenOpenAlexWikidataFDO

Authors Tiago L. Alves, Paulo F. Silva, Joost Visser

Publication date 27 June 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2012.11.008

zbMATH Keywords

constraintsdata refinementHaskellinvariantspoint-free program transformationschema transformationstrategic rewriting

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1304662
• Specification preservation in schema transformations — application to semantics and statistics
• scientific article; zbMATH DE number 5770342
• Losslessness and semantic correctness of database schema transformation: Another look of schema equivalence
• A general formal framework for schema transformation

Cites work

• A reification calculus for model-oriented software specification
• Can programming be liberated from the von Neumann style?
• CPI: Constraints-Preserving Inlining algorithm for mapping XML DTD to relational schema
• Data refinement by calculation
• FM 2005: Formal Methods
• Point-free program transformation
• Propagating XML constraints to relations
• Strongly typed rewriting for coupled software transformation

Cited in

(3)

• Strongly typed rewriting for coupled software transformation
• Reducing the search space for conceptual schema transformation
• Transformation of structure-shy programs with application to XPath queries and strategic functions

Describes a project that uses

Uses Software

• Haskell
• XPath

This page was built for publication: Constraint-aware schema transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166635)