范式和函数依赖的详细解释,再加上了一些实例