Mobile
Log In Sign Up
Home > chinese-english > "xdd" in English

English translation for "xdd"

小豆豆
Example Sentences:
1.The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory
将证明论方法引入到xml中,建立了基于xml的证明论。
2.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模型中的实体、联系和完整性约束。
3.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模型中的单元子句或非单元子句表示框架模型的结构、框架间的关系以及约束条件。
4.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子句描述,并通过等价变换得到查询结果,证明了该方法的正确性。
5.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问题求解的方法和步骤。
6.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问题求解的方法和步骤。
Similar Words:
"xdaexecute direct-access program" English translation, "xdata" English translation, "xdb" English translation, "xdbg exchange data base generator" English translation, "xdbg exchange databade generator" English translation, "xddd" English translation, "xdeskcal" English translation, "xdeskshow" English translation, "xdeskweather" English translation, "xdf" English translation