本文選題：時(shí)態(tài)數(shù)據(jù)庫 + 時(shí)態(tài)查詢��； 參考：《江西師范大學(xué)學(xué)報(bào)(自然科學(xué)版)》2017年06期

【摘要】：為解決不確定性語義時(shí)態(tài)查詢及其計(jì)算資源配置的優(yōu)化問題,使用子結(jié)構(gòu)邏輯對時(shí)態(tài)演算機(jī)制進(jìn)行了完善并構(gòu)建了查詢中間件原型.基于構(gòu)造性邏輯語義,構(gòu)建了中間件演算流程,將時(shí)態(tài)屬性映射為類型語義,使針對時(shí)間屬性的運(yùn)算從句法演算中剝離,在保證表達(dá)能力的前提下,僅進(jìn)行語義計(jì)算,加速并優(yōu)化了查詢演算流程.實(shí)驗(yàn)結(jié)果表明:該方法與中間件原型可行、高效,具有共性,為時(shí)態(tài)信息處理提供理論與技術(shù)支撐.
[Abstract]:In order to solve the optimization problem of uncertain semantic temporal query and its computing resource allocation, the temporal calculus mechanism is improved by using substructure logic and a query middleware prototype is constructed. Based on the structural logic semantics, the middleware calculus flow is constructed, and the temporal attribute is mapped to type semantics, so that the operation of temporal attribute is separated from the syntactic calculus, and only the semantic calculation is carried out under the premise of ensuring the expression ability. The query calculus flow is accelerated and optimized. The experimental results show that the method is feasible, efficient and common with middleware prototype, and provides theoretical and technical support for temporal information processing.
【作者單位】： 廣東工業(yè)大學(xué)計(jì)算機(jī)學(xué)院;
【基金】：國家自然科學(xué)基金(61402118,61673123) 廣東省科技計(jì)劃(2015B090901016,2016B010108007) 廣東省教育廳項(xiàng)目(粵教高函[2014]97號,粵教高函[2015]133號) 廣州市科技計(jì)劃(201604020145,201604046017)資助項(xiàng)目
【分類號】：TP311.13
，

本文編號：1875898