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

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