[an error occurred while processing this directive]
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 2005, Vol. 31 Issue (04) :451-454    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
����һ, ����˫, ����*
�������պ����ѧ �����ѧԺ, ���� 100083
XML functional dependency on NXD
Gao Qingyi, Lu Peng*
School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China

Download: PDF (322KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ XML�İ�ṹ�����������Native XML ���ݿ�������ģʽ�淶������еĺܶ�����.���ýṹ��Ϣ��������Ϣ���ϵķ���,����XML���ݼ亯�������Ķ���,�������ģʽ�淶������е���������.������XMLģʽ·����XML�������ڵ�·���Ķ���,����XML�����е�·��;������XML�ĵ���Ч�Ե���ʽ������;�ڴ˻����϶�������Ԫ�����Ԫ����ȵĸ���.������Ԫ�鼰����ȵĸ������XML���ݵĺ���������ϵ,������������Ӧ���Է������㡢�����������,�����Ƶ������������̺��ĺ���������ϵ.��֤������һ�����������ȷ��.��������ΪNative XML ���ݿ�ϵͳ������ģʽ�Ĺ淶������ṩ��һ�������ۻ���,��ǿ��XML���ݵ���������.
Email Alert
�ؼ����� ���ݿ�����   ����չ�������   �������   ����֤��     
Abstract�� As semi-structured data, XML brings some problems in the normalization of Native XML Database data schema. To solve the problems, the method of combination of xml structure information and xml data information was proposed, and by using this method the concept xml functional dependency was defined. The concept of xml schema path, xml tree node path and the formalization of a validated xml document were studied. On the basis of these concepts, the definition of tree tuple and equation of tree tuple were constructed. As a result, the definition of xml functional dependency was proposed on the basis of above-mentioned concepts. The inference rules about xml functional dependency includes reflectivity, augmentation and transitivity were proved to deduce the implication of xml functional dependency in a given sets. The rules were proved right. Our work provides some theory basis of the normalization of native XML database data schema, and also enhances the semantic of xml data.
Keywords�� database theory   xml   inference mechanisms   theorem proving     
Received 2003-10-13;


About author: ����һ(1979-),��,������,˶ʿ��, qingyigao@yahoo.com.cn.
����һ, ����˫, ����.����NXD��XML���ݺ�������[J]  �������պ����ѧѧ��, 2005,V31(04): 451-454
Gao Qingyi, Lu Peng.XML functional dependency on NXD[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 2005,V31(04): 451-454
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y2005/V31/I04/451
Copyright 2010 by �������պ����ѧѧ��