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...

 
  • 在無(wú)序的結點(diǎn)標記樹(shù)數據模型上定義了XML子樹(shù)間的函數依賴(lài),并且給出了一套公理系統用來(lái)推導函數依賴(lài),以解決函數依賴(lài)的蘊涵問(wèn)題,最后證明了該公理系統是合理的。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan