局部紧 范式 关系模式 无损连接 模式设计 约束数据库 Fourier变换 依赖保持性 阿贝尔群 广义函数 复测度 死锁 函数依赖公理系统 空值 死锁检测协议 无损连接分解 分布式数据库 （N）BCNF 函数依赖 关系数据库 最大值原理

厦门大学计算机科学系 福建厦门 厦门大学计算机与系统科学系