导出关系 meaning in English
derived relation
Examples
- Then , this thesis presents the formal definition of derivation set of transformation diagram , proves the derivation set transitivity theorem , and shows the basic processes for tracing transformation diagram
作者基于导出关系给出了转换图的起源集的形式化定义，证明了起源集的传递性定理。在此基础上，设计了跟踪转换图的数据志的基本过程。