问答题若函数f（x，y，z）恒满足关系式f（tx，ty，tz）＝tkf（x，y，z）就称为k次齐次函数，验证k次齐次函数满足关系式（其中f存在一阶连续偏导数）x∂f/∂x＋y∂f/∂y＋z∂f/∂z＝kf（x，y，z）。

函数z=f(x，y)在点(x0，y0)处连续是z=f(x，y)在点(x0，y0)处存在一阶偏导数的(58)。

A．充分条件

B．必要条件

C．充要条件

D．既非充分，又非必要条件

设关系模式R＜U，F＞，其中U为属性集，F是U上的一组函数依赖，那么Armstrong公理系统的伪传递律是指（）。

A.若X→Y，Y→Z为F所蕴涵，则X→Z为F所蕴涵

B.若X→Y，X→Z，则X→YZ为F所蕴涵

C.若X→Y，WY→Z，则XW→Z为F所蕴涵

D.若X→Y为F所蕴涵，且Z?U，则XZ→YZ为F所蕴涵

（52）设 F 是属性组U 上的一组函数依赖，下列哪一条属于 Armstrong 公理系统中的基本推理规则

A）若 X→Y 及 X→Z 为F 所逻辑蕴含，则 X→YZ 为F 所逻辑蕴含

B）若 X→Y 及 Y→Z 为F 所逻辑蕴含，则 X→Z 为F 所逻辑蕴含

C）若 X→Y 及 WY→Z 为F 所逻辑蕴含，则 XW→Z 为F 所逻辑蕴含

D）若 X→Y 为F 所逻辑蕴含，且 Z Y，则 X→Z为 F 所逻辑蕴含

设F是属性组U上的一组函数依赖，下列（ ）属于Armstrong公理系统中的基本推理规则。

A）若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含

B）若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

C）若X→Y及WY→Z为F所逻辑蕴含，则XW→Z为F所逻辑蕴含

下列给定程序中，函数fun()的功能是；计算函数 F(x, y ,z)=(x+ y)/(x-y)+(z+ y)/(z-y)的值。其中x和y不相等，z和y不等。例如，当x的值为9，y的值为11，2的值为15时，函数值为-3.50。

请改正程序中的错误，使它能得出正确的结果。

注意：不要改动main 函数，不得增行或删行，也不得更改程序的结构。

试题程序：

include ＜stdio. h＞

include ＜math. h＞

/**************found******************/

define FU(m, n) (m/n)

float fun(float a, float b, float c)

{ float value;

value=FU(a+ b, a-b)+FU(c+ b, c-b);

/*************found******************/

return(Value);

}

main()

{ float x, y, z, sum;

printf ("Input x y z:: ");

scanf("%f%f%f", &x, &y, &z);

printf("x=%f, y=%f, z=%f\n ",x, y, z);

if (x==y｜｜y==z) {printf ("Data error! \n ");

exit (0); }

sum=fun (x, y, z);

printf("The result is:%5. 2f\n ",sum);

}