计算机等级考试—Armstrong6大规则通俗讲解—东方仙盟练气期

先划核心：3 条基本公理是推导根基（天然成立 / 必真），3 条推论是公理组合用法（简化推导），软考全考应用，不考背诵定义，记差异 + 场景 + 考题考法就够

三大基本公理

三大常用推论

一、6 条规则核心差异（一句话分清，不混淆）

二、 酒店管理系统 + 超市管理系统 实战举例（贴合实操好理解）

通用前提：先明确 2 个系统核心属性依赖（基础场景）

✅ 酒店管理系统核心依赖：客房号→房型→价格、身份证号→客户姓名→联系方式✅ 超市管理系统核心依赖：商品条码→商品名称→单价、会员卡号→会员姓名→积分

1. 自反律：天然推导，不用额外条件（最基础）

✅ 酒店场景：客房号 {房号} 包含 {房号}，推导 客房号→客房号；{客房号，客户姓名} 包含 {客户姓名}，推导 客房号 + 客户姓名→客户姓名✅ 超市场景：{商品条码，单价} 包含 {单价}，推导 商品条码 + 单价→单价；会员卡号→会员卡号（自身依赖）✅ 核心点：实操中用来补全隐含依赖，不用刻意操作，考试里是推导的默认前提

2. 增广律：加属性不改变依赖，适配多条件关联

✅ 酒店场景：已知 客房号→价格，增广加「入住日期」，推导 客房号 + 入住日期→价格 + 入住日期（对应：某房某天的价格，精准关联）✅ 超市场景：已知 商品条码→单价，增广加「购买日期」，推导 商品条码 + 购买日期→单价 + 购买日期（对应：某商品某天的售价，贴合促销场景）✅ 核心点：实操用来精准定位业务数据，避免依赖歧义

3. 传递律：依赖链条推导，简化关联查询

✅ 酒店场景：已知 客房号→房型、房型→价格，传递推导 客房号→价格（查房号直接得价格，不用绕弯查房型）✅ 超市场景：已知 商品条码→商品名称、商品名称→单价，传递推导 商品条码→单价（扫条码直接出单价，提升收银效率）✅ 核心点：实操减少关联表查询，考试高频考传递依赖判断范式

4. 合并规则：同左部多依赖合并，精简依赖关系

✅ 酒店场景：已知 身份证号→客户姓名、身份证号→联系方式，合并推导 身份证号→客户姓名 + 联系方式（查身份证号一次性出客户 2 项信息）✅ 超市场景：已知 会员卡号→会员姓名、会员卡号→积分，合并推导 会员卡号→会员姓名 + 积分（刷会员卡同步调取姓名和积分）✅ 核心点：实操精简业务查询逻辑，考试用来合并依赖集简化计算

5. 分解规则：多属性依赖拆分，精准单独调用

✅ 酒店场景：已知 客房号→房型 + 价格，分解推导 客房号→房型、客房号→价格（查房型 / 查价格可单独调用，灵活适配不同业务）✅ 超市场景：已知 商品条码→商品名称 + 单价，分解推导 商品条码→商品名称、商品条码→单价（收银查单价、库存查名称，按需拆分）✅ 核心点：实操适配精细化业务需求，考试用来拆分依赖判断部分依赖

6. 伪传递规则：带附加属性的传递，适配复杂业务关联

✅ 酒店场景：已知 客房号→价格、价格 + 入住天数→总费用，伪传递推导 客房号 + 入住天数→总费用（房号定单价，加天数算总价，核心收银逻辑）✅ 超市场景：已知 商品条码→单价、单价 + 购买数量→总金额，伪传递推导 商品条码 + 购买数量→总金额（条码定单价，加数量算总价，核心结算逻辑）✅ 核心点：实操是核心业务计算推导逻辑，软考常考此推导

三、 软件考试核心考法 + 举例（直击考点，不踩坑）

软考不考定义默写，全考 3 类题，对应 6 条规则精准应用，记例题 + 解题思路即可

考法 1： 依赖推导题（高频）：给已知依赖，用规则推新依赖，判断选项对错

✅ 例题：已知关系 R (A,B,C,D)，依赖 F={A→B，B→C}，下列推导正确的是？A. A→C B. A→D C. B→A D. C→A✅ 解题思路：用传递律（A→B，B→C ⇒ A→C），答案选 A✅ 关联规则：传递律必考，常结合增广律、伪传递律一起考

考法 2： 候选键求解题（重中之重）：用 6 条规则推导属性闭包，确定候选键

✅ 例题：关系 R (A,B,C,D,E)，F={A→B，B→C，C→D，E→A}，求候选键✅ 解题思路：① 用传递律推 A→B→C→D，A 闭包是 {A,B,C,D}；② 加 E，E→A，传递得 E→A→B→C→D，E 闭包 {A,B,C,D,E}，覆盖所有属性，候选键是 E✅ 关联规则：传递律 + 自反律（默认属性自反），是求候选键核心

考法 3： 范式判断题（核心）：用规则判断部分 / 传递依赖，定 1/2/3NF

✅ 例题：关系 R (客房号，房型，价格)，F={客房号→房型，房型→价格}，判断范式✅ 解题思路：① 候选键是客房号，非主属性房型、价格；② 客房号→房型（完全依赖），房型→价格，传递得客房号→价格（传递依赖）；③ 满足 2NF，不满足 3NF✅ 关联规则：传递律判传递依赖，分解 / 合并规则判部分依赖，直接定范式

考法 4： 依赖集化简题（中频）：用合并 + 分解规则，精简依赖集

✅ 例题：F={A→B，A→C，B→D}，化简依赖集✅ 解题思路：用合并规则，A→B、A→C 合并为 A→BC，化简后 F={A→BC，B→D}✅ 关联规则：合并 + 分解规则是化简核心，减少依赖冗余

阿雪技术观

在科技发展浪潮中，我们不妨积极投身技术共享。不满足于做受益者，更要主动担当贡献者。无论是分享代码、撰写技术博客，还是参与开源项目维护改进，每一个微小举动都可能蕴含推动技术进步的巨大能量。东方仙盟是汇聚力量的天地，我们携手在此探索硅基生命，为科技进步添砖加瓦。

Hey folks, in this wild tech – driven world, why not dive headfirst into the whole tech – sharing scene? Don't just be the one reaping all the benefits; step up and be a contributor too. Whether you're tossing out your code snippets, hammering out some tech blogs, or getting your hands dirty with maintaining and sprucing up open – source projects, every little thing you do might just end up being a massive force that pushes tech forward. And guess what? The Eastern FairyAlliance is this awesome place where we all come together. We're gonna team up