嵌入式全关系系统CR-Foxpro：基本运算实现探索

"嵌入式全关系系统CR-Foxpro基本运算的实现 (2003年)，由张正玺、焦占亚和焦沛在陕西科技大学学报发表的论文，探讨了在他们开发的嵌入式全关系系统CR-Foxpro中的关系代数基本运算的实现，包括选择、投影、并、差和广义笛卡尔积等，并通过关系除法运算公式实现了除法操作。" 这篇论文介绍了嵌入式全关系系统CR-Foxpro的内部工作原理和基本运算的实现方法。该系统支持的关系代数运算包括选择（Selection）、投影（Projection）、并（Union）、差（Difference）以及广义笛卡尔积（Generalized Cartesian Product）。此外，还涉及到非基本运算如交（Intersection）、连接（Join）和差运算。 在系统的工作区设计中，有以下几个关键部分： 1. 命令缓冲区：用于存储用户输入的命令，以字符型变量W1来表示。 2. 命令分析工作区：由一维数组W（20）构成，包含多个寄存器，如： - 运算对象表名寄存器Ⅰ（W（1））：存储第一个运算对象的表名。 - 运算对象表名寄存器Ⅱ（W（2））：存储第二个运算对象的表名，用于双目运算。 - 运算结果表名寄存器（W（3））：存储运算结果的表名。 - 运算条件寄存器（W（4））：存储命令中的条件表达式。 - 字段名表寄存器（W（5））：存储命令中涉及的字段名列表。 3. 数据字典存储器：用于存储数据库表的主键定义，采用二维数组WSJZD2（200，10）来表示。 论文详细阐述了基本运算的实现过程，首先是将输入的命令字符串送入命令缓冲区，然后通过DO命令调用CR-F系统主控程序进行命令分析。在这个过程中，系统会解析命令，确定运算对象、条件、结果表名等，并在内存中执行相应的计算操作。 对于关系代数中的除法运算，作者提出了一个基本运算表达公式来实现。关系除法是关系代数中的一种高级运算，它用于找出满足特定条件的记录。在CR-Foxpro系统中，通过解析和执行这个公式，可以处理更复杂的查询需求。 此外，论文还可能涵盖了如何处理数据字典，如何执行选择、投影和其他操作的具体步骤，以及如何处理和存储数据的细节。这些内容对于理解嵌入式全关系系统的内部工作机制以及如何在实际应用中使用这些运算非常有帮助。 这篇论文为理解嵌入式环境下的关系数据库管理和查询提供了深入的技术细节，对于从事相关领域的研究者和开发者来说，是一份宝贵的参考资料。