數(shù)據(jù)集成中查詢(xún)重寫(xiě)算法的研究.pdf

1、查詢(xún)重寫(xiě)是數(shù)據(jù)庫(kù)查詢(xún)處理過(guò)程中的一個(gè)基本問(wèn)題，與查詢(xún)優(yōu)化、物理數(shù)據(jù)的獨(dú)立性維護(hù)、數(shù)據(jù)集成、語(yǔ)義緩存、數(shù)據(jù)倉(cāng)庫(kù)和決策支持等問(wèn)題密切相關(guān)。隨著數(shù)據(jù)集成的發(fā)展，數(shù)據(jù)集成中的查詢(xún)重寫(xiě)問(wèn)題成為近年來(lái)的研究熱點(diǎn)。本文對(duì)國(guó)內(nèi)外數(shù)據(jù)集成中的查詢(xún)重寫(xiě)的研究現(xiàn)狀進(jìn)行了綜合分析，從一個(gè)全新的角度對(duì)查詢(xún)重寫(xiě)問(wèn)題進(jìn)行了研究。 首先，介紹了數(shù)據(jù)集成的基本理論和Datalog語(yǔ)言的基本概念，分析了兩種典型的重寫(xiě)算法，即桶算法和逆規(guī)則算法，并指出了這兩種重寫(xiě)算

2、法存在的不足。 其次，介紹了傳統(tǒng)的MiniCon算法，并指出了該算法的不足，提出了基于域約束的MiniCon算法。該算法在傳統(tǒng)的MiniCon算法中增加了一步視圖選擇，解決了傳統(tǒng)的MiniCon算法中丟失查詢(xún)重寫(xiě)和生成冗余查詢(xún)重寫(xiě)的問(wèn)題，保證了算法的正確性和完備性，并給出了相應(yīng)的算法分析和實(shí)例分析。 然后，分析了現(xiàn)有的聚合查詢(xún)的重寫(xiě)算法——窮舉算法的不足，將MiniCon算法的思想融入到了聚合查詢(xún)的重寫(xiě)中。針對(duì)count