非經(jīng)典關(guān)系數(shù)據(jù)庫(kù)中約束關(guān)系模型在查詢(xún)優(yōu)化中的應(yīng)用.pdf

1、早期的經(jīng)典關(guān)系數(shù)據(jù)庫(kù)理論，在數(shù)據(jù)庫(kù)應(yīng)用中發(fā)揮了巨大的作用。隨著數(shù)據(jù)庫(kù)理論的深入研究和發(fā)展，人們將經(jīng)典關(guān)系數(shù)據(jù)庫(kù)理論推廣與改革得到了非經(jīng)典關(guān)系數(shù)據(jù)庫(kù)理論。非經(jīng)典關(guān)系數(shù)據(jù)庫(kù)中的約束數(shù)據(jù)庫(kù)理論逐漸成為人們研究數(shù)據(jù)庫(kù)的新的熱點(diǎn)。在約束數(shù)據(jù)庫(kù)研究的過(guò)程中，人們發(fā)現(xiàn)在關(guān)系數(shù)據(jù)庫(kù)中除了基本的完整性約束和大家關(guān)注比較多的區(qū)間約束外，在很多實(shí)際問(wèn)題中還存在一種非常廣泛的二元關(guān)系約束，這種“二元關(guān)系約束”既可以加在原始數(shù)據(jù)庫(kù)上又可以加在查詢(xún)結(jié)果上。在兩個(gè)屬

2、性的值域問(wèn)給定了一個(gè)（些）二元關(guān)系，每個(gè)元組在這兩個(gè)屬性上都只能取這個(gè)（些）二元關(guān)系中的值，這種約束稱(chēng)為“二元關(guān)系約束”。二元關(guān)系約束在數(shù)據(jù)庫(kù)應(yīng)用中可以在很多領(lǐng)域推廣和發(fā)展。在我們研究的經(jīng)典關(guān)系數(shù)據(jù)庫(kù)理論中只是涉及到各種依賴(lài)，從未涉及到這種二元關(guān)系約束，但是這種約束普遍存在數(shù)據(jù)庫(kù)中。為了更好、更優(yōu)化地對(duì)存在二元關(guān)系約束的數(shù)據(jù)庫(kù)進(jìn)行查詢(xún)、輸入、修改等操作，就必須對(duì)二元關(guān)系約束的相關(guān)問(wèn)題進(jìn)行認(rèn)真地研究。通過(guò)研究二元關(guān)系約束在數(shù)據(jù)庫(kù)中的實(shí)現(xiàn)，

3、達(dá)到優(yōu)化操作的目的。 本文將二元關(guān)系約束的概念、思想和理論引入到傳統(tǒng)的關(guān)系數(shù)據(jù)庫(kù)中。在傳統(tǒng)的經(jīng)典關(guān)系數(shù)據(jù)庫(kù)模型中進(jìn)行擴(kuò)展，在新擴(kuò)展的關(guān)系數(shù)據(jù)庫(kù)模型中定義二元關(guān)系約束。建立起含有二元關(guān)系約束的擴(kuò)展關(guān)系數(shù)據(jù)庫(kù)模型，在擴(kuò)展的關(guān)系數(shù)據(jù)庫(kù)模型基礎(chǔ)上，研究二元約束數(shù)據(jù)庫(kù)的存儲(chǔ)表示的實(shí)現(xiàn)，及相應(yīng)數(shù)據(jù)操作和關(guān)系代數(shù)的操作的實(shí)現(xiàn)。這樣利用關(guān)系數(shù)據(jù)庫(kù)的理論實(shí)現(xiàn)二元約束數(shù)據(jù)庫(kù)。將二元約束作為永久性數(shù)據(jù)存儲(chǔ)在數(shù)據(jù)庫(kù)中即成為二元約束數(shù)據(jù)庫(kù)。本文在后面幾章

4、中擴(kuò)展了普通數(shù)據(jù)庫(kù)的語(yǔ)言功能，使其能夠在二元約束數(shù)據(jù)庫(kù)上實(shí)現(xiàn)。然后，對(duì)擴(kuò)展擴(kuò)展數(shù)據(jù)庫(kù)語(yǔ)言的查詢(xún)執(zhí)行過(guò)程進(jìn)行了闡述。設(shè)計(jì)和實(shí)現(xiàn)數(shù)據(jù)庫(kù)系統(tǒng)的一項(xiàng)重要技術(shù)，也是影響數(shù)據(jù)庫(kù)系統(tǒng)性能的一個(gè)重要因素是數(shù)據(jù)庫(kù)的查詢(xún)優(yōu)化操作。任意數(shù)據(jù)域上不等式合取查詢(xún)的極小化問(wèn)題可以在二元約束關(guān)系模型上得到很好的解決，文章中對(duì)不等式合取查詢(xún)的極小化問(wèn)題作了闡述，并介紹了在二元約束數(shù)據(jù)庫(kù)中如何對(duì)查詢(xún)進(jìn)行優(yōu)化。介紹了擴(kuò)展的二元約束關(guān)系數(shù)據(jù)庫(kù)模型的系統(tǒng)結(jié)構(gòu)，通過(guò)具體的實(shí)驗(yàn)數(shù)