软件的详细设计，也称为模块设计，它要求设计人员为每一个程序模块确定：所使用的______、数据结构、接口细节和输入、输出数据等。

需求阶段的文档主要由一组说明、数据流图和【 】组成。

SQL查询输出中,可以使用【 】短语可以将查询结果存放在文本文件中。

由表单向导创建的表单，主要是依靠【 】而定。

设有3个关系，分别是：学生关系S(学号S、姓名SN、系名SD、年龄SA)，课程关系C(课程号C、课程名CN、任课教师CT)，学生选课关系SC(学生号S、课程号C、成绩G)，则查询计算机科学系“CS”全体学生的关系代数表达式为______。