常見例句After proposing a data model of unordered node labeled tree for XML databases,this paper defines a functional dependency among XML subtrees.In addition,an axio... 在無序的結(jié)點標(biāo)記樹數(shù)據(jù)模型上定義了XML子樹間的函數(shù)依賴,并且給出了一套公理系統(tǒng)用來推導(dǎo)函數(shù)依賴,以解決函數(shù)依賴的蘊涵問題,最后證明了該公理系統(tǒng)是合理的。axio axiological(ly) 價值論的(地) 返回 axio-