算術謂詞 的英文怎麼說
中文拼音 [suànshùwèicí]
算術謂詞
英文
arithmetical predicate- 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
- 術 : 術名詞1. （技藝; 技術; 學術） art; skill; technique 2. （方法; 策略） method; tactics 3. （姓氏） a surname
- 謂 : Ⅰ動詞1. （說） say 2. （稱呼; 叫做） call; name Ⅱ名詞1. （意義） meaning; sense 2. （姓氏） a surname
- 詞 : 名詞1 （說話或詩歌、文章、戲劇中的語句） speech; statement; lines of play 2 （一種韻文形式 起於唐...
- 算術 : arithmetic figure; arithmetic
-
By means of analyzing the static and dynamic data dependencies between the statements on [ v, and constructing predicate slices and input dependency sets, this method linearizes the predicate functions with linear arithmetic representations. therefore it can only be used to generate test data for white - - box testing
該方法通過分析w上各語句之間的靜態、動態數據依賴關系，構造謂詞片和輸入依賴集，用線性算術表示對謂詞函數進行線性化，僅能夠用於白盒測試數據的自動生成。Furthermore, when the divided ii1 differences are used to approximate to the derivatives that are coefficients in linear arithmetic representations, computing linear arithmetic representations is converted to compute predicate residuals completely, which needs to analyze neither static nor dynamic data dependencies between the statements on w. at this time, the improved method is more powerful to generate test data, and can be used for black - box testing
更進一步，當用均差作為謂詞函數關于輸入變量的導數的近似時，計算線性算術表示就全部轉化為計算謂詞殘量，而後者無須分析w上各語句之間的靜態、動態數據依賴關系。此時，改進后的方法比原方法生成測試數據的能力更強，能夠用於黑盒測試數據的自動生成。This thesis studies the following key implementation techniques of ordb, i. e., the query optimization techniques of ordb, the join predicate processing and join predicate index techniques, the general index structure and concurrency control strategy, and the reference based join algorithms
本文主要研究對象關系數據庫中的查詢優化處理技術、連接謂詞處理及索引技術、通用索引結構及其並發控制、基於引用的連接演算法等關鍵技術。
分享友人