填空题 模式分解的准则：模式分解具有（），模式分解能够（）。无损连接是指分解后的关系通过（）可以恢复成原来的关系；保持函数依赖分解是指在模式的分解过程中，函数依赖不能丢失的特性，即模式分解不能破坏原来的（）。

填空题 在关系模式R（U，F）中，被F所逻辑蕴涵的函数依赖的全体称作F的（），记为（）。 设F和G是两个函数依赖集，如果F+包含于G+和G+包含于F+同时成立，即F+＝G+，则称F和G（）。

填空题 关系模式中，函数依赖的推理规则主要有：（）。这三条规则还可以有3条推论：（）规则、（）规则、（）规则。