介绍了在作者开发的嵌入式全关系系统CR Foxpro(CompleteRelation Foxpro)中关系代数非基本运算操作命令的实现,特别是使用作者提出的关系除法运算的基本运算表达公式实现了除法操作命令。

关系代数中的运算可分为基本运算和非基本运算 ,本文重点讨论了如何用基本运算表示非基本运算 ,给出了用基本运算表示除法运算的关系代数表达公式 ,解决了以往用抽象定义进行除法运算难度大的问题 ,直接应用除法的基本运算表达公式得出了结果 ,从而找到了在其它关系操作语言中进行与除法等价运算的一条重要途径。

讨论了用基本运算表示非基本运算 ,给出了用基本运算表示除法运算的关系代数表达式 ,解决了以往用抽象定义进行除法运算的难度 ,直接应用除法的基本运算表达公式得出结果 ,从而得到了在其它关系操作语言中进行与除法等价运算的一个重要途

对计算机测试二元运算乘法表是否构成群表的算法进行研究 ,一个乘法表构成群表的充要条件是乘法表具有两个性质·在测试乘法表构成群表的第一性质中提出了直接逐行、逐列测试G中所有元素 ,按行、按列搜索相同元素及相异元素计数三种算法 ;在第二性质测试中 ,对搜索与单位元 1构成矩形的同行、同列元素中提出自然升序法、外推法及小段优先三种算法 ;在遍历整个二维乘法表判别矩形第 4顶点元素特性中 ,提出了单个矩形移动、按行(列 ) (n-1 )个矩形同时移动、(n -1 ) 2 个矩形同时移动及改进的单个矩形移动四种算法 ;讨论了主要算法的复杂性 ;用VisualC ++6。