填空题
设F和G是两个函数依赖集，如果F+包含于G+和G+包含于F+同时成立，即F+＝G+，则称F和G（）
等价
填空题 在关系模式R（U，F）中，被F所逻辑蕴涵的函数依赖的全体称作F的（），记为（）
填空题 关系模式中，函数依赖的推理规则主要有：（）、（）、（）。这三条规则还可以有3条推论：（）规则、（）规则、（）规则。
填空题 设有关系模式R（U，F），X包含于U、Y包含于U，如果从F中的函数依赖能够推导出X→Y，则称F逻辑蕴涵X→Y，或称X→Y是F的（）
