基于非完全關(guān)系下Key Set的廣義實(shí)體完整性驗(yàn)證
發(fā)布時(shí)間:2023-03-28 20:38
隨著大數(shù)據(jù)時(shí)代的到來,越來越多數(shù)據(jù)的涌現(xiàn),電腦需要處理的數(shù)據(jù)成幾何倍數(shù)增長,特別是在人工智能盛行的今天,一切的算法都離不開數(shù)據(jù)的支持,數(shù)據(jù)的重要性可見一斑,同時(shí)數(shù)據(jù)的管理與存儲(chǔ)也扮演著越來越重要的角色。數(shù)據(jù)庫作為主要的數(shù)據(jù)管理軟件,為當(dāng)今的計(jì)算機(jī)信息技術(shù)的發(fā)展提供最基本也是最重要的底層支持。同時(shí),大量的數(shù)據(jù)庫研究者提出了一系列的理論為數(shù)據(jù)存儲(chǔ)與管理提供重要的支持,尤其是Codd提出的實(shí)體完整性準(zhǔn)則[19],它保障了數(shù)據(jù)被唯一性的標(biāo)識(shí)。Codd的實(shí)體完整性規(guī)則規(guī)定了每個(gè)數(shù)據(jù)庫表都必須存在主鍵(Primary Key)。更進(jìn)一步地說,在具有主鍵屬性的列上的數(shù)據(jù)必須確保唯一性和非空性,即每個(gè)主鍵屬性上的數(shù)據(jù)必須是唯一的,并且不能存在空值。但是由于大數(shù)據(jù)時(shí)代的到來,大規(guī)模的數(shù)據(jù)如雨后春筍般涌現(xiàn)出來,龐大的數(shù)據(jù)不再依靠人工存入到數(shù)據(jù)庫中,數(shù)據(jù)的“純凈度”很難保證。因而,在實(shí)際的數(shù)據(jù)庫中往往存在大量的空值,Codd的實(shí)體完整性準(zhǔn)則對(duì)于這種情況來說并不適用,傳統(tǒng)的主鍵并不能應(yīng)對(duì)這種情況。為了解決這個(gè)問題,Thalheim提出了Key Set來解決在非完全數(shù)據(jù)關(guān)系中的實(shí)體完整性保...
【文章頁數(shù)】:87 頁
【學(xué)位級(jí)別】:碩士
【文章目錄】:
摘要
ABSTRACT
第1章 緒論
1.1 研究背景
1.1.1 數(shù)據(jù)庫的發(fā)展歷史
1.1.2 實(shí)體完整性約束
1.2 選題意義
1.3 國內(nèi)外研究現(xiàn)狀
1.3.1 Armstrong關(guān)系的研究現(xiàn)狀
1.3.2 鍵值約束的研究現(xiàn)狀
1.4 主要研究內(nèi)容
1.5 論文組織結(jié)構(gòu)
1.6 本章小結(jié)
第2章 相關(guān)理論
2.1 Key Set簡(jiǎn)述
2.2 函數(shù)依賴
2.3 超圖的概念
2.4 Armstrong關(guān)系
2.4.1 概念定義
2.4.2 Armstrong公理
2.4.3 Armstrong關(guān)系簡(jiǎn)介
2.4.4 相關(guān)定理
2.4.5 關(guān)系構(gòu)造算法
2.5 本章小結(jié)
第3章 Key Set驗(yàn)證以及優(yōu)化問題的研究
3.1 Key Set驗(yàn)證定義
3.2 基于SQL的 Key Set驗(yàn)證
3.3 優(yōu)化Key Set的驗(yàn)證
3.4 基于Key Set的 Armstrong關(guān)系的可計(jì)算問題研究
3.4.1 問題定義
3.4.2 基于Key Set的 Armstrong關(guān)系的構(gòu)建
3.5 本章小結(jié)
第4章 實(shí)驗(yàn)與分析
4.1 實(shí)驗(yàn)環(huán)境
4.2 實(shí)驗(yàn)數(shù)據(jù)
4.3 實(shí)驗(yàn)設(shè)置
4.4 實(shí)驗(yàn)方法與分析
4.1.1 基于SQL的 Key Set驗(yàn)證
4.1.2 Key Set驗(yàn)證的優(yōu)化問題
4.1.3 基于Key Set的Armstrong關(guān)系的構(gòu)建實(shí)驗(yàn)
4.5 本章小結(jié)
第5章 總結(jié)與展望
5.1 工作總結(jié)
5.2 工作展望
參考文獻(xiàn)
致謝
碩士期間發(fā)表論文一覽表
本文編號(hào):3773242
【文章頁數(shù)】:87 頁
【學(xué)位級(jí)別】:碩士
【文章目錄】:
摘要
ABSTRACT
第1章 緒論
1.1 研究背景
1.1.1 數(shù)據(jù)庫的發(fā)展歷史
1.1.2 實(shí)體完整性約束
1.2 選題意義
1.3 國內(nèi)外研究現(xiàn)狀
1.3.1 Armstrong關(guān)系的研究現(xiàn)狀
1.3.2 鍵值約束的研究現(xiàn)狀
1.4 主要研究內(nèi)容
1.5 論文組織結(jié)構(gòu)
1.6 本章小結(jié)
第2章 相關(guān)理論
2.1 Key Set簡(jiǎn)述
2.2 函數(shù)依賴
2.3 超圖的概念
2.4 Armstrong關(guān)系
2.4.1 概念定義
2.4.2 Armstrong公理
2.4.3 Armstrong關(guān)系簡(jiǎn)介
2.4.4 相關(guān)定理
2.4.5 關(guān)系構(gòu)造算法
2.5 本章小結(jié)
第3章 Key Set驗(yàn)證以及優(yōu)化問題的研究
3.1 Key Set驗(yàn)證定義
3.2 基于SQL的 Key Set驗(yàn)證
3.3 優(yōu)化Key Set的驗(yàn)證
3.4 基于Key Set的 Armstrong關(guān)系的可計(jì)算問題研究
3.4.1 問題定義
3.4.2 基于Key Set的 Armstrong關(guān)系的構(gòu)建
3.5 本章小結(jié)
第4章 實(shí)驗(yàn)與分析
4.1 實(shí)驗(yàn)環(huán)境
4.2 實(shí)驗(yàn)數(shù)據(jù)
4.3 實(shí)驗(yàn)設(shè)置
4.4 實(shí)驗(yàn)方法與分析
4.1.1 基于SQL的 Key Set驗(yàn)證
4.1.2 Key Set驗(yàn)證的優(yōu)化問題
4.1.3 基于Key Set的Armstrong關(guān)系的構(gòu)建實(shí)驗(yàn)
4.5 本章小結(jié)
第5章 總結(jié)與展望
5.1 工作總結(jié)
5.2 工作展望
參考文獻(xiàn)
致謝
碩士期間發(fā)表論文一覽表
本文編號(hào):3773242
本文鏈接:http://sikaile.net/kejilunwen/ruanjiangongchenglunwen/3773242.html
最近更新
教材專著