全国计算机等级考试二级C语言程序设计主要涉及计算机基础知识和C语言编程技能。以下是根据题目内容解析的部分知识点：
1. **循环队列**：循环队列是队列的一种特殊形式，它使用顺序存储结构，并通过首尾指针的循环运算实现队列的操作，如入队和出队。选项B正确。
2. **栈与队列**：栈是后进先出（LIFO）的数据结构，而队列是先进先出（FIFO）的数据结构。选项B正确。
3. **二叉树的性质**：对于一棵二叉树，如果叶子节点（度为0的节点）数量为n0，度为1的节点数量为n1，度为2的节点数量为n2，那么n0 = n2 + 1。题目中叶子节点5个，所以度为1的节点数量为4个。选项D正确。
4. **数据库模式**：外模式描述了用户看到的数据视图，内模式描述了数据库的物理存储结构和存取方法，概念模式是数据库的整体逻辑结构。选项B正确。
5. **实体完整性**：一个关系中可以有一个或多个候选关键字，用来唯一标识一行。选项A正确。
6. **关系代数操作**：自然连接用于合并两个关系中具有相同属性值的元组，这里是R和S得到T的操作，选项A正确。
7. **软件生命周期活动**：市场调研通常在软件开发之前进行，不是软件生命周期的一部分。选项A不正确。
8. **需求分析阶段任务**：制定软件集成测试计划属于后期的测试阶段，不是需求分析阶段的任务。选项D正确。
9. **黑盒测试**：设计测试用例主要根据程序的外部功能，即其应提供的服务。选项B正确。
10. **软件设计工具**：数据流图（DFD）是系统分析阶段用于描述数据处理过程的工具，不适合软件设计阶段。选项C正确。
11. **程序设计步骤**：正确顺序是确定算法和数据结构、编码、调试、整理文档。选项B正确。
12. **C语言中数的表示**：在C语言中，整型数在允许范围内通常能精确表示，但实型数由于浮点数的精度限制，可能会有误差。选项B正确。
13. **算法描述**：一个正确的算法可以没有输入，但必须有输出。选项C错误。
14. **C程序结构**：C程序可以包含多个函数，主函数必须名为`main`，但缩进要求不是编译的强制条件。选项D错误。
15. **输入格式**：在C语言中，使用`scanf`函数输入字符时，如果希望输入连续的两个字符，可以用逗号分隔。选项D正确。
16. **字符常量**：非法的字符常量是指不符合C语言规定的字符转义序列。选项A中`\019`不是有效的八进制转义序列，因为八进制数最大为7。
17. **程序输出**：该程序中，`c=(a-=a-5)`会使得`c`等于5，`(a=b,b+=4)`使得`a`=4，`b`=4。因此，输出结果是4,4,5。选项A正确。
18. **自增操作**：预增操作`++x`会先增加`x`的值，然后返回增加后的值；后增操作`x++`会先返回`x`的当前值，然后增加`x`。选项C和D的输出结果会因自增操作的顺序不同而不同。
19. **逻辑值**：在C语言中，逻辑值"假"通常表示为0。选项D正确。
20. **程序输出**：此程序输出`m`的值，具体结果取决于输入。题目未提供完整代码，无法确定输出。
以上是根据题目内容解析的部分知识点，涵盖数据结构、数据库、软件工程、C语言编程等多个方面。这些知识点对于理解和应用C语言及计算机科学基础至关重要。
