Also, this thesis proves the uniqueness and solution theorems of derivation set of basic relation operators.
作者证明了基本运算的起源集的唯一性定理和求解定理。
参考来源 - 数据仓库中数据志跟踪的理论与方法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
These definitions form the basis for derivation set tracing. At the same time, they are the criterion for verifying the result of tracing.
这些定义和概念是跟踪起源集的基础，也是检验跟踪结果的依据。
Upon verifying weak derivation set, this thesis gives a series of verification algorithms based on the best property of attribute mapping or transformation.
在验证弱起源集阶段，针对不同类型的转换和属性映射，给出了相应的验证算法。
The control parameters and regulation pattern is set up according to the power flow control problem. A detail derivation is made on the equivalent injection power equation of several FACTS devices.
针对潮流控制确定了FACTS的控制参数和调节模式，对几种FACTS装置的等效注入功率模型进行了详细推导。
应用推荐