2. 由关系R出发根据Armstrong公理系统推导出来的每一个函数依赖,一定是R所逻辑蕴含的函数依赖,称之为Armstrong公理系统的__________性;对于R所逻辑蕴含的每一个函数依赖,必定可以由R出发根据Armstrong公理系统推导出来称之为Armstrong公理系统的__________性。
举一反三
- 下列关于Armstrong公理系统的叙述中,错误的是( )。 A: Armstrong公理系统有效性是指,从函数依赖集F出发,根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中 B: Armstrong公理系统完备性是指,F+中的每一个函数依赖必定可以由F出发,根据Armstrong公理推导出来 C: 通常把自反律、传递律和增广律统称为Armstrong公理系统 D: Armstrong公理系统中的传递律就是传递函数依赖
- 根据Armstrong公理系统中的自反规则,对关系模式R中的属性集X,若YX,则一定有______ 。
- 根据Armstrong公理系统中的自反规则,对关系模式R中的属性集X,若Y是X的子集,则一定有
- Armstrong公理系统的推理规则不包括
- 设F是属性组U上的一组函数依赖,下列哪一条属于Armstrong公理系统中的基本推理规则()