xdd meaning in English
小豆豆
Examples
- The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory
将证明论方法引入到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模型中的单元子句或非单元子句表示框架模型的结构、框架间的关系以及约束条件。 - 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子句描述，并通过等价变换得到查询结果，证明了该方法的正确性。 - 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问题求解的方法和步骤。