基于键的xml模式到关系模式的规范化转换

本文针对xml模式向关系模式转换过程中形成的冗余和不规范，提出一种基于xml键的xml模式到关系模式的规范化转换算法。该算法以键为基础，根据xml函数依赖的一组推理规则，扩充函数依赖的集合，避免xml模式向关系模式转换过程中语义丢失的情况；再利用一组消解规则，消除冗余的函数依赖，使其满足极小函数依赖集；最后以键为中心划分关系属性，得到关系表，并且保证得到的关系模式满足3nf。