xdd 中文意思是什麼
xdd
解釋
小豆豆-
The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory
將證明論方法引入到xml中，建立了基於xml的證明論。 -
An approach to xml problem solving by means of resolution principle is presented. the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle. an intelligent decision support system based on xml is presented
主要內容包括：建立了基於xml的公理系統；給出了假言推理在xdd中的應用形式；論證了假言推理在xdd中有效性和完備性；給出了應用證明論方法實現xml問題求解的方法和步驟。 -
An approach to formalize and evaluate relational algebra operations by means of xdd is presented. a query is formalized as one or more xml clauses and evaluated by employment of equivalent transformation of xdd
提出了根據關系代數表達式構造查詢子句的方法，關系代數表達式可以用若干個xml子句描述，並通過等價變換得到查詢結果，證明了該方法的正確性。 -
The problem which should be settled and the knowledge is represented in xdd, and the problem is solved by resolution principle. thus, the information on the web can be used in the decision process and it becomes easy to share and exchange data in or among the system
主要內容包括：定義了合一指定和xml歸結子句，給出了歸結原理在xdd中的應用形式；證明了歸結的過程是一個等價變換的過程，論證了應用歸結原理實現xml問題求解的可行性；給出了應用歸結原理實現xml問題求解的方法和步驟。 -
A method of mapping e - r representations onto corresponding xdd representation is proposed, which naturally combines together the conceptual model and the structural model of xml document. 2
提出了由e ? r模型生成xdd模型的方法，用xdd模型中的單元子句或非單元子句表示e ? r模型中的實體、聯系和完整性約束。 -
A means of representing frame based on xdd ( xml declarative description ) is proposed. the frame ' s components are contents, constraints, and relationships, all of them can be represented by xdd
提出了由框架模型生成xdd模型的方法，用xdd模型中的單元子句或非單元子句表示框架模型的結構、框架間的關系以及約束條件。
分享友人