函数依赖的公理系统