Constraint-aware Schema Transformation (Q5166635): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2012.11.008
@@ Property / DOI: 10.1016/j.entcs.2012.11.008 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XPath
@@ Property / describes a project that uses: XPath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2012.11.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2051649645
@@ Property / OpenAlex ID: W2051649645 / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Q5472878
@@ Property / cites work: Q5472878 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly Typed Rewriting For Coupled Software Transformation
+Normal rank
@@ Property / cites work @@
+Propagating XML constraints to relations
@@ Property / cites work: Propagating XML constraints to relations / rank @@
+Normal rank
@@ Property / cites work @@
+CPI: Constraints-Preserving Inlining algorithm for mapping XML DTD to relational schema
+Normal rank
@@ Property / cites work @@
+Data refinement by calculation
@@ Property / cites work: Data refinement by calculation / rank @@
+Normal rank
@@ Property / cites work @@
+A reification calculus for model-oriented software specification
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2012.11.008
@@ Property / DOI: 10.1016/J.ENTCS.2012.11.008 / rank @@
+Normal rank