二元約束數(shù)據(jù)庫(kù)系統(tǒng)模型及其查詢優(yōu)化的研究與實(shí)現(xiàn).pdf

1、近年來(lái)伴隨著對(duì)約束數(shù)據(jù)庫(kù)理論和應(yīng)用技術(shù)的大量研究，數(shù)據(jù)庫(kù)上的約束問(wèn)題逐漸成為新的關(guān)注點(diǎn)和熱點(diǎn)。隨著關(guān)系數(shù)據(jù)庫(kù)使用的不斷深入，在關(guān)系數(shù)據(jù)模型中除幾種基本的完整性約束以及近期研究比較多的區(qū)間約束外，人們還發(fā)現(xiàn)有一種非常廣泛的出現(xiàn)在各種實(shí)際問(wèn)題中、既可以加在原始數(shù)據(jù)庫(kù)上又可以加在查詢結(jié)果上的“二元關(guān)系約束”。二元關(guān)系約束是指在兩個(gè)屬性的值域間給定了一個(gè)(些)二元關(guān)系，每個(gè)元組在這兩個(gè)屬性上都只能取這個(gè)(些)二元關(guān)系中的值。它在眾多的領(lǐng)域都有著

2、廣闊的應(yīng)用前景。 　這種二元關(guān)系約束在實(shí)際應(yīng)用中是普遍存在的，但在傳統(tǒng)的經(jīng)典關(guān)系數(shù)據(jù)庫(kù)理論中，各種“依賴”卻都未涉及到這種約束。因此為了對(duì)存在著大量二元關(guān)系約束的數(shù)據(jù)庫(kù)進(jìn)行更高效，更優(yōu)化的查詢、插入、修改等操作，就必須對(duì)二元關(guān)系約束的相關(guān)問(wèn)題進(jìn)行認(rèn)真地研究探討，并且有必要進(jìn)一步研究二元約束數(shù)據(jù)庫(kù)系統(tǒng)模型的實(shí)現(xiàn)及其它相關(guān)問(wèn)題。 　因此，本文提出在傳統(tǒng)關(guān)系數(shù)據(jù)庫(kù)系統(tǒng)模型中，引入二元關(guān)系約束的思想及其相關(guān)理論概念；擴(kuò)展現(xiàn)存在的

3、傳統(tǒng)關(guān)系數(shù)據(jù)庫(kù)模式，包括在新的擴(kuò)展數(shù)據(jù)庫(kù)模式中定義二元關(guān)系約束；初步建立含有二元關(guān)系約束的擴(kuò)展關(guān)系數(shù)據(jù)庫(kù)系統(tǒng)模型；并在此模型的基礎(chǔ)上討論其存儲(chǔ)結(jié)構(gòu)的實(shí)現(xiàn)過(guò)程，以及相應(yīng)數(shù)據(jù)操作和關(guān)系代數(shù)操作的實(shí)現(xiàn)細(xì)節(jié)等內(nèi)容。這樣，一方面擴(kuò)展了關(guān)系數(shù)據(jù)模型的建模能力，另一方面，利用二元約束的規(guī)范表示，可以用關(guān)系數(shù)據(jù)庫(kù)成熟的實(shí)現(xiàn)理論及技術(shù)實(shí)現(xiàn)二元約束數(shù)據(jù)庫(kù)系統(tǒng)。 　二元約束數(shù)據(jù)庫(kù)的核心特征是將二元約束作為永久性數(shù)據(jù)存儲(chǔ)。在本文后半部分，對(duì)比其他約束數(shù)

4、據(jù)庫(kù)語(yǔ)言的實(shí)現(xiàn)細(xì)節(jié)，本文將擴(kuò)展普通數(shù)據(jù)庫(kù)的語(yǔ)言功能，使其適用于二元約束數(shù)據(jù)庫(kù)。并據(jù)此，介紹該擴(kuò)展數(shù)據(jù)庫(kù)語(yǔ)言的查詢執(zhí)行過(guò)程。眾所周知，查詢優(yōu)化是數(shù)據(jù)庫(kù)系統(tǒng)設(shè)計(jì)和實(shí)現(xiàn)所采用的一項(xiàng)重要技術(shù)，也是影響數(shù)據(jù)庫(kù)系統(tǒng)性能的一個(gè)重要因素。二元約束關(guān)系模型在很大程度上解決了任意數(shù)據(jù)域上的不等式合取查詢的極小化問(wèn)題。因此，本文中介紹不等式合取查詢極小化理論，在新的擴(kuò)展數(shù)據(jù)庫(kù)系統(tǒng)模型中介紹如何更好的實(shí)現(xiàn)查詢優(yōu)化。 　最后，本文闡述了擴(kuò)展實(shí)現(xiàn)的新數(shù)據(jù)庫(kù)