全序時態模式中時態函數依賴的覆蓋問題研究

摘要：與傳統的關系數據庫中的函數依賴一樣，時態數據庫中全序時態模塊模式下的時態函數依賴也存在著冗余問題，因而有效地消除冗余的時態函數依賴是全序時態函數依賴集化簡的基礎。在全序時態模式下提出全序無冗余覆蓋、全序規范覆蓋和全序最小覆蓋等概念，同時給出了全序無冗余覆蓋、全序規范覆蓋集和全序最小覆蓋集的算法及相關定理，并給出了其正確性證明，對其時間復雜度進行了分析。

關鍵詞：全序時態模塊模式；全序無冗余覆蓋；全序規范覆蓋；全序最小覆蓋

中圖分類號：TP311.13 文獻標志碼：A 文章編號：1001－3695(2009)12－4516－04