formal derivation 中文意思是什麼
formal derivation
解釋
形式推導- formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
- derivation : n. 1. 引出，導出。2. 出處，由來，起源。3. 【語言學】詞源；派生。4. 衍生；衍生物。
-
Following is the primary work and contributions of this thesis. first, the concepts about data lineage tracing are completed and refined, and the formal definition of derivation set and supplementary set are provided. these definitions form the basis for derivation set tracing
本文的主要工作與創新有以下幾個方面：作者首先對與數據志相關的概念進行了完善和細化，給出了起源集的形式化定義，並提出了補集無關和補集相關的概念。 -
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
作者基於導出關系給出了轉換圖的起源集的形式化定義，證明了起源集的傳遞性定理。在此基礎上，設計了跟蹤轉換圖的數據志的基本過程。 -
Beginning with the formal definition of derivation set, this thesis finds the general laws of derivation set, proves the theorems about derivation set, proposes an approach for weak inversion and verification based on attribute mapping to trace data lineage, gives a series of arithmetic for data lineage tracing, describes the basic processes of data lineage, and then forms systematic theories and approach
作者從定義起源集入手，找出了起源集的一般規律，證明了有關起源集的定理，提出了一種「基於屬性映射的弱逆與驗證」的起源集跟蹤方法，給出了一系列有關起源集跟蹤的演算法，並設計了數據志跟蹤的基本過程，從而形成了一套系統的數據志跟蹤理論與方法。 -
Then, this thesis analyzes the invertibilrty of transformation, and presents the formal definition of weak invertibte transformation, and calculates ( tuple - level ) derivation set of transformation by one - dimension merging and multi - dimension merging of the weak derivation set resolved by weak inverse attribute mapping
在此基礎上，作者分析了轉換的可逆性，給出了弱可逆轉換的形式化定義，並通過對弱可逆轉換中弱逆映射求解的弱起源集進行單維合併、多維合併來求解轉換的（元組級）弱起源集。
分享友人