隨著大數(shù)據(jù)時代的到來,越來越多數(shù)據(jù)的涌現(xiàn),電腦需要處理的數(shù)據(jù)成幾何倍數(shù)增長,特別是在人工智能盛行的今天,一切的算法都離不開數(shù)據(jù)的支持,數(shù)據(jù)的重要性可見一斑,同時數(shù)據(jù)的管理與存儲也扮演著越來越重要的角色。數(shù)據(jù)庫作為主要的數(shù)據(jù)管理軟件,為當今的計算機信息技術(shù)的發(fā)展提供最基本也是最重要的底層支持。同時,大量的數(shù)據(jù)庫研究者提出了一系列的理論為數(shù)據(jù)存儲與管理提供重要的支持,尤其是Codd提出的實體完整性準則^[19],它保障了數(shù)據(jù)被唯一性的標識。Codd的實體完整性規(guī)則規(guī)定了每個數(shù)據(jù)庫表都必須存在主鍵(Primary Key)。更進一步地說,在具有主鍵屬性的列上的數(shù)據(jù)必須確保唯一性和非空性,即每個主鍵屬性上的數(shù)據(jù)必須是唯一的,并且不能存在空值。但是由于大數(shù)據(jù)時代的到來,大規(guī)模的數(shù)據(jù)如雨后春筍般涌現(xiàn)出來,龐大的數(shù)據(jù)不再依靠人工存入到數(shù)據(jù)庫中,數(shù)據(jù)的“純凈度”很難保證。因而,在實際的數(shù)據(jù)庫中往往存在大量的空值,Codd的實體完整性準則對于這種情況來說并不適用,傳統(tǒng)的主鍵并不能應(yīng)對這種情況。為了解決這個問題,Thalheim提出了Key Set來解決在非完全數(shù)據(jù)關(guān)系中的實體完整性保...

【文章頁數(shù)】：87 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
第1章 緒論
    1.1 研究背景
        1.1.1 數(shù)據(jù)庫的發(fā)展歷史
        1.1.2 實體完整性約束
    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簡述
    2.2 函數(shù)依賴
    2.3 超圖的概念
    2.4 Armstrong關(guān)系
        2.4.1 概念定義
        2.4.2 Armstrong公理
        2.4.3 Armstrong關(guān)系簡介
        2.4.4 相關(guān)定理
        2.4.5 關(guān)系構(gòu)造算法
    2.5 本章小結(jié)
第3章 Key Set驗證以及優(yōu)化問題的研究
    3.1 Key Set驗證定義
    3.2 基于SQL的 Key Set驗證
    3.3 優(yōu)化Key Set的驗證
    3.4 基于Key Set的 Armstrong關(guān)系的可計算問題研究
        3.4.1 問題定義
        3.4.2 基于Key Set的 Armstrong關(guān)系的構(gòu)建
    3.5 本章小結(jié)
第4章 實驗與分析
    4.1 實驗環(huán)境
    4.2 實驗數(shù)據(jù)
    4.3 實驗設(shè)置
    4.4 實驗方法與分析
        4.1.1 基于SQL的 Key Set驗證
        4.1.2 Key Set驗證的優(yōu)化問題
        4.1.3 基于Key Set的Armstrong關(guān)系的構(gòu)建實驗
    4.5 本章小結(jié)
第5章 總結(jié)與展望
    5.1 工作總結(jié)
    5.2 工作展望
參考文獻
致謝
碩士期間發(fā)表論文一覽表



本文編號：3773242