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.
上 周首次在PBS电视台Nova栏目中播出的三集节目《探索人类的起源》（In Search of Human Origins）则是这方面的最新例证。
The latest, a three-part Nova show titled In Search of Human Origins, premiered last week.
应用推荐