计算机技术的快速发展使数据存储的问题得到一定程度的解决,数据库出现了海量数据的大型和超大型数据库,它们广泛的应用于CIMS、GIS等领域;数据库的数据类型也出现如流媒体、空间、时态等多种复杂的数据形式,产生了网络、并行、移动、分布式等数据库的多种组织形式。因此近些年来在数据库的设计与应用中的查询异常问题逐渐成为数据库研究的热点。无环数据库模式的设计理论研究,已成为了当前数据库研究的一个新的重要分支。数据库理论与图论的结合产生了无环数据库模式设计理论。数据库模式分解是使数据库模式设计更加规范化,可以减少冗余,减少存储异常和查询异常。通过图论中图的方式比较直观的表达数据库的数据模式,这种方法与数据规范化理论和函数依赖对数据库的数据多样性语义描述相结合,产生了一个针对复杂数据库的设计研究的新方法。由于无环数据库模式本身具有很多优良的特性,这些特性解决了数据库研究中以往一些难以解决的问题,因此数据库的无环性已经成为判断数据库模式优劣的一个重要特性。本文是基于无环数据库模式,对数据库数据组织中数据模式无α环分解问题展开研究。通过关系数据库的函数依赖集的归并依赖集对数据库模式是否存在函数依赖冲突进行讨论,研究数据库的数据模式中是否存在环,数据库模式是否满足无α环分解,以及如何在各种数据库模式的规范化的范式级别上判断环的存在和进行无α环分解的问题。1、基于数据库超图的无α环的特性。分析了求解归并依赖集和最小归并依赖集的算法,提出了归并依赖集的二元组集合闭包的求解算法。并对归并依赖集的左部集及子集的求解算法进行了系统的整理。2、结合数据库超图、FD超图从微观讨论函数依赖蕴涵关系的特点,分析了归并FD超图对应的关系模式中存在的各种内部冲突。在此基础上,对FD集F存在内部冲突的特征和条件进行讨论,提出了判定定理和判定算法;同时在广义左部冲突和右部冲突概念的基础上,提出了数据库模式R〈W,F〉分解为满足P3（保持函数依赖、无损连接、第三范式）分解时F是否存在的广义左部冲突和右部冲突的判定定理和算法。3、在对有内部冲突的归并依赖集中的函数依赖关系进行分析的基础上,提出满足BCNF的分解条件和满足P₂且无α环分解的充要条件并进行了证明。给出了条件的判定算法和数据库模式的分解算法。4、提出初等归并依赖集和初等最小归并依赖集的概念,定义初等最小规并依赖集的弱左部冲突和弱右部冲突,讨论了初等最小归并依赖集下的冲突问题,给出了在FD集F其初等最小归并依赖集D中存在弱左,右部冲突时模式分解为满足PEK为有α环的结论,并给出了初等最小归并依赖集的求解方法,冲突的判定算法。最后给出了数据库模式分解满足PEK和无α环分解算法。5、在研究简单范式（SNF）的数据库模式无α环分解时,基于最小归并依赖集关联度的基础上,提出了简单范式的数据库模式无α环的分解条件。证明了在FD集F的最小归并依赖集D中存在弱左、右部冲突以及D不满足条件时模式分解为满足PS为有α环的这一充分必要的结论。给出了数据库模式满足无环的条件判定定理及算法和数据库模式满足PS和无α环分解的算法。