填空题
模式分解的准则：模式分解具有（），模式分解能够（）。无损连接是指分解后的关系通过（）可以恢复成原来的关系；保持函数依赖分解是指在模式的分解过程中，函数依赖不能丢失的特性，即模式分解不能破坏原来的（）。
无损连接特性；保持函数依赖特性；自然连接；语义
填空题 在关系模式R（U，F）中，被F所逻辑蕴涵的函数依赖的全体称作F的（），记为（）。 设F和G是两个函数依赖集，如果F+包含于G+和G+包含于F+同时成立，即F+＝G+，则称F和G（）。
填空题 关系模式中，函数依赖的推理规则主要有：（）。这三条规则还可以有3条推论：（）规则、（）规则、（）规则。
填空题 如果X→Y（非平凡函数依赖，并且X不函数依赖于Y）、Y→Z，则称Z（）于X。
