分布式数据库系统的所有问题都是内部的、（）级别上的问题，而不是外部的、用户级别的问题。

在（）依赖的范畴内，BCNF达到了最高的规范化程度。

填空题在（）依赖的范畴内，BCNF达到了最高的规范化程度。

Armstrong公理系统中的增广律的含义是：设R是一个关系模式，X，Y是U中属性组，若X→Y为F所逻辑蕴含，...

填空题Armstrong公理系统中的增广律的含义是：设R是一个关系模式，X，Y是U中属性组，若X→Y为F所逻辑蕴含，且ZÍU，则（）为F所逻辑蕴含。

达到（）级别的产品才被认为是真正意义上的安全产品。

填空题达到（）级别的产品才被认为是真正意义上的安全产品。