Changes

Directory:Jon Awbrey/Papers/Syntactic Transformations (view source)

Revision as of 16:40, 7 February 2009

41 bytes added , 16:40, 7 February 2009

→‎Digression on Derived Relations: mathematical markup

Line 2,001: Line 2,001:

===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>

−

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.

−

To that end, let the derivation Der(R) be expressed in the following way:

Jon Awbrey

12,080

edits