设R为NXN上的二元关系,任意<a,b>,<c,d>属于nxn,<a,b>R<c,d>推出a=c 求R导出的等价

以下公式用latex格式，

R导出的等价关系为：${<a,a>|a\in N}\cup{<a,b>|<a,b>\in R\text{且}a\neq b\text{且不存在}c\text{使}<a,c>\in R\text{且}<c,b>\in R}$

证明R为等价关系：

自反性：对于任意$a\in N$，都有<a,a>$\in{<a,a>|a\in N}$，因此R为自反关系。

对称性：若<a,b>$\in R$，则必有<a,b>R<a,b>，根据推出条件，可知a=b，因此<b,a>R<b,a>，即<b,a>$\in R$，因此R为对称关系。

传递性：若<a,b>$\in R$且<b,c>$\in R$，则必有<a,b>R<a,b>和<b,c>R<b,c>，根据推出条件，可知a=b且b=c，因此<a,c>R<a,c>，即<a,c>$\in R$，因此R为传递关系。

综上所述，R为等价关系。

金石导入excel方法如下：

1、选择要导入的数据库---任务---导入数据。

2、选择excel数据源--浏览文件。注意如果excel中首行数据为字段，应勾选“首行包含列名称”。

3、按照提示单击下一步后选择服务器填写验证信息和目标数据库。

4、点击下一步，确定导入的类型。

5、选择数据库--选择源表和原视图，如果不选则目标，则会在数据库中自动生成同名的表，并把数据导入进去。

6、然后默认下一步，无须保存SSIS包，直接默认立即运行，最后点击完成即可。