Constraint-aware Schema Transformation

DOI10.1016/j.entcs.2012.11.008zbMath1291.68213OpenAlexW2051649645WikidataQ113318035 ScholiaQ113318035MaRDI QIDQ5166635

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

Publication date: 27 June 2014

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

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

zbMATH Keywords

invariantsHaskellconstraintsdata refinementschema transformationpoint-free program transformationstrategic rewriting

Mathematics Subject Classification ID

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

Related Items

Transformation of structure-shy programs with application to XPath queries and strategic functions

Uses Software

• Haskell
• XPath

Cites Work

• Unnamed Item
• Propagating XML constraints to relations
• A reification calculus for model-oriented software specification
• Data refinement by calculation
• CPI: Constraints-Preserving Inlining algorithm for mapping XML DTD to relational schema
• Strongly Typed Rewriting For Coupled Software Transformation
• Can programming be liberated from the von Neumann style?
• FM 2005: Formal Methods