问答题

试由amstrong 公理系统推导出下面三条推理规则: 
( 1 )合并规则:若X 一Z , X 一Y ,则有X 一YZ  
( 2 )伪传递规则:由x 一Y ,明吟z 有翔一z  
( 3 )分解规则:x 一Y , zcy ,有x 一z


您可能感兴趣的试卷

你可能感兴趣的试题

最新试题

已知关系代数表达式:‌请用语法树给出其最后的优化结果,正确的是()。

题型:单项选择题

自由变量

题型:名词解释

关于逻辑查询优化和物理查询优化,下列说法正确的是()。

题型:单项选择题

关于,下列说法不正确的是()。‌

题型:单项选择题

‍已知关系R。T(R)=100,000,V(R,A)=200,V(R,B)=1000,若要对‍进行代价估计,则下列正确进行代价估计的是()。

题型:单项选择题

已知内存共有8块,若要排序有100块的数据集,则给定多路归并算法如下:(1)以8块为一个单位划分子集合,每个子集合进行内排序并存储,形成13个已排序子集合(含一个仅有4块的子集合);(2)接着在13个子集合中任选7个子集合(包含仅有4块的子集合)进行一个七路归并,形成一个已排序子集合;(3)再将剩余6个子集合与刚才归并后形成的子集合,进行一个七路归并,形成最终的已排序集合。这个方案的磁盘读写次数是()。

题型:单项选择题

基于散列的两趟算法和基于排序的两趟算法,其中第一趟都是划分子表,都要求子表的存储块数要小于可用内存数,以便子表可以一次性装入内存进行处理。关于划分子表,下列说法正确的是()。

题型:单项选择题

已知关系R。T(R)=100,000,V(R,A)=200,V(R,B)=1000,若要对进行代价估计,则下列正确进行代价估计的是()。

题型:单项选择题

‌关于基于排序的两趟算法,下列说法不正确的是()。

题型:单项选择题

​已知内存共有100块,若要排序有10000块的数据集,则下列说法正确的是()。

题型:单项选择题