| 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问题求解的方法和步骤。 |
