一，问题的提出

二，规范化

三，数据依赖的公理系统

四，模式的分解