Changes

MyWikiBiz, Author Your Legacy — Saturday January 04, 2025
Jump to navigationJump to search
Line 2,001: Line 2,001:     
===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>
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:
 
To that end, let the derivation Der(R) be expressed in the following way:
  
12,080

edits

Navigation menu