12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday April 04, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Syntactic Transformations (view source)
Revision as of 16:40, 7 February 2009
, 16:40, 7 February 2009→Digression on Derived Relations: mathematical markup
Line 2,001:
Line 2,001:
A better understanding of derived equivalence relations (DER's) can be achieved by placing their constructions within a more general context, and thus comparing the associated type of derivation operation, namely, the one that takes a triadic relation R into a dyadic relation Der(R), with other types of operations on triadic relations. The proper setting would permit a comparative study of all their constructions from a basic set of projections and a full array of compositions on dyadic relations.
−
===Digression on Derived Relations===
===Digression on Derived Relations===
+
+A better understanding of derived equivalence relations (DERs) can be achieved by placing their constructions within a more general context and thus comparing the associated type of derivation operation, namely, the one that takes a triadic relation <math>L\!</math> into a dyadic relation <math>\operatorname{Der}(L),</math> with other types of operations on triadic relations. The proper setting would permit a comparative study of all their constructions from a basic set of projections and a full array of compositions on dyadic relations.
<pre>
<pre>
−To that end, let the derivation Der(R) be expressed in the following way:
To that end, let the derivation Der(R) be expressed in the following way:
