Constraint-aware Schema Transformation
From MaRDI portal
Publication:5166635
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
invariantsHaskellconstraintsdata refinementschema transformationpoint-free program transformationstrategic rewriting
Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Uses Software
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