关于函数依赖的公理系统若干问题和批注