偏序時態(tài)模式下規(guī)范覆蓋問題

摘要：目前有效的多時間粒度時態(tài)數(shù)據(jù)庫設計方法多針對全序時態(tài)模式，當時態(tài)模式的時態(tài)類型集為偏序集時，由于涉及時態(tài)類型問的最大下界等操作而使其難以實現(xiàn)。針對偏序時態(tài)模式的規(guī)范覆蓋問題進行研究，提出了偏序TFD(時態(tài)函數(shù)依賴)集有限閉包、偏序模式屬性集有限閉包、偏序無冗余覆蓋和偏序規(guī)范TFD集等概念，解決了偏序TFD成員籍問題；并給出了偏序TFD集的規(guī)范覆蓋算法，對其正確性進行了證明，對算法的時間復雜度進行了分析。為偏序時態(tài)模式的綜合范式分解問題研究奠定基礎。