計算機系畢業(yè)設(shè)計外文翻譯---面向?qū)ο髷?shù)據(jù)庫系統(tǒng)(參考版)
2025-05-16 17:07本頁面
【正文】 每一個靜態(tài)類型的語言總是強壯類型的，但是反過來不一定是，因為強壯類型語言允許程序員使用，例如 ，一般的操作，如排序，找到了一種算法的結(jié)構(gòu)統(tǒng)一適用于一個范圍內(nèi)的類型。如果所有表達式的類型可以在編譯是確定（在編譯時完成類型檢查），那么這個編程語言被認(rèn)為是靜態(tài)類型的。因此，公共子表達式清除，無效代碼刪除和其他公共優(yōu)化一般不適用。此外，如果沒有類型系統(tǒng)，那么編譯器不可以優(yōu)化代碼。另一個優(yōu)點是，可以限制編譯時過程的調(diào)用。通過強制用戶聲明他使用的對象的結(jié)構(gòu)，系統(tǒng)將檢查用戶有沒有對對象執(zhí)行錯誤的分配或操作。它通過使用已有的數(shù)據(jù)類型和類型構(gòu)造函數(shù)來建立，例如數(shù)組，集合，清單，記錄。由于數(shù)據(jù)結(jié)構(gòu)是一種數(shù)據(jù)類型，它對它的值有一組操作。這些數(shù)據(jù)類型由用戶考慮什么時候訪問這些數(shù)據(jù)結(jié)構(gòu)的。一個原子的（基本的或簡單的）數(shù)據(jù)類型被認(rèn)為是不可分解的（從用戶的角度來看）的數(shù)據(jù)類型，如整型或字符型。通過限制一個特定類型的變量來假定這個類型的值。 現(xiàn)代編程語言，例如，像 PASCAL，將類型定義和變量申明區(qū)分開來，以分開類型的定義和使用 。 類型和類 在這一節(jié)，我們首先將介紹傳統(tǒng)觀念的類型和類，因為它們是常用的。 面向?qū)ο髷?shù)據(jù)庫系統(tǒng)的特征 盡管 Rentsch 引述的目的在于面向?qū)ο缶幊陶Z言，但是他對面向?qū)ο髷?shù)據(jù)庫系統(tǒng)的思想更準(zhǔn)確。第一個標(biāo)準(zhǔn)轉(zhuǎn)化為六個特征：持久性，二級存儲管理，數(shù)據(jù)共享（并發(fā)），數(shù)據(jù)的可靠性（交易管理和恢復(fù)），特殊查詢工具和架構(gòu)修改。有人會因此而認(rèn)為一個真正的數(shù)據(jù)庫系統(tǒng)會成為兩種方法的結(jié)合。在編程語言中的一致性概念通常比數(shù)據(jù)庫系統(tǒng)弱。在（命令）編程語言中典型的分類系統(tǒng)包括數(shù)組，列表和原子類型，而在數(shù)據(jù)庫語言中典型的分類系統(tǒng)包括集，記錄和原子類型。 幾乎所有整合數(shù)據(jù)庫概念的編程語言都失敗的主要原因是：編程語言環(huán)境和數(shù)據(jù)庫系統(tǒng)是在不同的文化上設(shè)計的。這些活動的結(jié)果可能是一種編程語言，其中有持久性數(shù)據(jù)和非持久性數(shù)據(jù)的簡單數(shù)據(jù)模型。該數(shù)據(jù)庫系統(tǒng)的數(shù)據(jù)語言和相應(yīng)的編程語言仍然可以遵循不同的編程 模式。為了處理復(fù)雜對象可能會添加訪問路徑或索引技術(shù)來反映對象的一般和特殊 屬性。他們試圖允許對象持久和共享來改編面向?qū)ο蟪绦蛘Z言成為數(shù)據(jù)庫的技術(shù)。研究人員從數(shù)據(jù)庫組中遵循自下而上的方法，首先，他們試圖通過在系統(tǒng)架構(gòu)的各層次上支持復(fù)雜對象的概念，調(diào)整傳統(tǒng)數(shù)據(jù)庫技術(shù)成面向?qū)ο蟆Ｈ欢?，人工智能主要認(rèn)為是面向?qū)ο髷?shù)據(jù)庫領(lǐng)域 的應(yīng)用，而很少作為導(dǎo)致這項技術(shù)的第三方規(guī)程。 歷史根源 面向?qū)ο髷?shù)據(jù)庫技術(shù)的根源通常用術(shù)語語義數(shù)據(jù)模型 /HaML81 的發(fā)展和程序語言學(xué)科中基于抽象的語言的發(fā)展描述，這些知識描述了人工只能的思想，（尤其。 對象方法領(lǐng)域的陳述 前言 盡管那 Rentsch 的文章（見最后一章）的目的是面向?qū)ο缶幊陶Z言，但是對于面向數(shù)據(jù)庫系統(tǒng)領(lǐng)域的信息更準(zhǔn)確。而后期綁定明顯提供了更多的靈活性，由于執(zhí)行運行時檢查的必要性，所以降低了效率和和程序的安全行。而類，例如雇員和女性，在現(xiàn)實生活中可能重疊，但在面向?qū)ο蟓h(huán)境中他們通常不能重疊：通常假設(shè)每一中北大學(xué) 2020 屆 英文文獻及中文翻譯 第 5 頁 共 7頁 個對象基于一個精確的基類。在上面的例子中，經(jīng)理和
畢業(yè)設(shè)計相關(guān)推薦
鄂ICP備17016276號-1