希赛网2026下半年软考系统分析师考前几页纸

2026下半年软考高级系统分析师考试将于10月25日举行，希赛网为考生准备了《2026下半年软考系统分析师考前几页纸》资料。因篇幅有限，本文只展示了部分内容，完整内容请考生在本文文首本文资料处或文末的资料下载栏目下载PDF文档。

2、线性规划

（1）线性规划的一些特点：

线性规划的可行解区是由一组线性约束条件形成的，从几何意义来说，就是由一些线性解面围割形成的区域，不一定是封闭的多边形或多面体。

如果存在两个最优解，则连接这两点的线段内所有的点都是最优解，而线段两端延长线上可能会超出可行解区。

增加一个约束条件时，要么缩小可行解区（新的约束条件分割了原来的可行解区），要么可行解区不变（新的约束条件与原来的可行解区不相交）。

如果最优解在可行解区边界某个非顶点处达到，则随着等值域向某个方向移动，目标函数的值会增加或减少（与最优解矛盾）或没有变化（在此段边界上都达到最优解），从而仍会在可行解区的某个顶点处达到最优解。若最优解存在且唯一，则可以从可行解区顶点处比较目标函数值来求解。

（2）线性规划的标准型（standard form of linear programming）是线性规划模型的标准形式。其主要特征为：

目标函数为极大化类型；

所有的约束条件都是等式；

所有约束方程右端的常数都是非负的；

所有决策变量都是非负的

8、关系代数

（1）并（结果为二者元组之和去除重复行）

（2）交（结果为二者重复行）

（3）差（前者去除二者重复行）：以元组行作为整体进行判断，类似于集合运算。

（4）笛卡尔积：结果列数为二者属性列数之和，行数为二者元组行数的乘积。

两个表做笛卡尔积，结果表的元组由前表与后表的元组拼接而成，不同的排列组合形成不同的结果元组。

（5）投影（筛选符合条件的属性列）

（6）选择（筛选符合条件的元组）：属性名可以依次标序号，直接以数字形式出现在表达式中。

（7）自然连接：结果列数为二者属性列数之和减去重复列，行数为二者同名属性列其值相同的结果元组的数量。笛卡尔积、选择、投影的组合表示可以与自然连接等价。

9、范式

规范化是为了解决数据冗余、删除异常、插入异常、更新异常等问题。

第一范式（1NF）：在关系模式R中，当且仅当所有域只包含原子值，即每个属性都是不可再分的数据项，则称关系模式R是第一范式。

第二范式（2NF）：当且仅当关系模式R是第一范式（1NF），且每一个非主属性完全依赖候选键（没有不完全依赖）时，则称关系模式R是第二范式。

第三范式（3NF）：当且仅当关系模式R是第二范式（2NF），且R中没有非主属性传递依赖于候选键时，则称关系模式R是第三范式。

BC范式（BCNF）：设R是一个关系模式，F是它的依赖集，当且仅当其F中每个依赖的决定因素必定包含R的某个候选码时，R属于BCNF。【当且仅当关系模式R是第三范式（3NF）】

注：4NF是限制关系模式的属性间不允许有非平凡且非函数依赖的多值依赖。

10、事务的特性（ACID）

原子性（Atomicity）是指事务包含的所有操作要么全部成功，要么全部失败回滚。这些操作是一个整体，不能部分地完成。

一致性（Consistency）是指事务必须使数据库从一个一致性状态变换到另一个一致性状态，也就是说一个事务执行之前和执行之后都必须处于一致性状态。

隔离性（Isolation）是指一个事务的执行不能被其它事务干扰，即一个事务内部的操作及使用的数据对并发的其它事务是隔离的。

持久性（Durability，永久性）是指一个事务一旦被提交了，那么对数据库中的数据的改变就是永久性的，无论发生何种故障，都不应对其有任何影响。