《数据库系统概论》学习笔记——第五章:数据库完整性

news2024/9/30 1:27:50

教材为数据库系统概论第五版(王珊)
本章概念比较多,稍微记一下

数据库的完整性

数据库的完整性指的是数据的正确性相容性

  • 完整性:指数据是符合现实世界语义、反映当前实际状况的

  • 相容性:数据库同一对象在不同关系表中的数据是符合逻辑的。

数据的完整性安全性是两个不同概念,其联系是两者都是对数据库中的数据的控制,各自所实现的功能不同

  • 数据的完整性
    • 防止数据库中存在不符合语义的数据,也就是防止数据库中存在不正确的数据
    • 防范对象:不合语义的、不正确的数据
  • 数据的安全性
    • 保护数据库防止恶意的破坏和非法的存取
    • 防范对象:非法用户和非法操作

记住上面这一段

为维护数据库的完整性,DBMS必须:

  1. 提供定义完整性约束条件的机制

  2. 提供完整性检查的方法

  3. 违约处理

5.1 实体完整性

5.1.1 实体完整性定义

关系模型的实体完整性

  • CREATE TABLE中用PRIMARY KEY定义

单属性构成的码有两种说明方法

  • 定义为列级约束条件
  • 定义为表级约束条件

对多个属性构成的码只有一种说明方法

  • 定义为表级约束条件

例:将Student表中的Sno属性定义为码

(1)在列级定义主码

CREATE TABLE Student
                (Sno  CHAR(9)  PRIMARY KEY,
                 Sname  CHAR(20) NOT NULL,     
                 Ssex  CHAR(2) ,
                 Sage  SMALLINT,
                 Sdept  CHAR(20));

(2)在表级定义主码

CREATE TABLE Student
        (Sno  CHAR(9),
         Sname  CHAR(20) NOT NULL,
         Ssex  CHAR(2),
         Sage  SMALLINT,
         Sdept  CHAR(20),
         PRIMARY KEY (Sno)
      ); 

例:将SC表中的Sno,Cno属性组定义为码

CREATE TABLE SC
           (Sno   CHAR(9)  NOT NULL, 
            Cno  CHAR(4)  NOT NULL,  
            Grade    SMALLINT,
            PRIMARY KEY (Sno,Cno)     /*只能在表级定义主码*/
          ); 

5.1.2 实体完整性检查和违约处理

插入或对主码列进行更新操作时,RDBMS按照实体完整性规则自动进行检查。包括:

  1. 检查主码值是否唯一,如果不唯一则拒绝插入或修改

  2. 检查主码的各个属性是否为空,只要有一个为空就拒绝插入或修改

检查记录中主码值是否唯一的一种方法是进行全表扫描

或者B+树索引

5.2 参照完整性

5.2.1 参照完整性定义

关系模型的参照完整性定义

  • 在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码
  • 用REFERENCES短语指明这些外码参照哪些表的主码

例:关系SC中一个元组表示一个学生选修的某门课程的成绩,(Sno,Cno)是主码。Sno,Cno分别参照引用Student表的主码和Course表的主码

CREATE TABLE SC
         (Sno    CHAR(9)  NOT NULL, 
          Cno     CHAR(4)  NOT NULL,
          Grade    SMALLINT,
          PRIMARY KEY (Sno,Cno),   /*在表级定义实体完整性*/
          FOREIGN KEY (Sno) REFERENCES Student(Sno),  
            /*在表级定义参照完整性*/
          FOREIGN KEY (Cno) REFERENCES Course(Cno)    
          /*在表级定义参照完整性*/
      );

5.2.2 参照完整性检查和违约处理

可能破坏参照完整性的情况及违约处理

参照完整性违约处理

  1. 拒绝(NO ACTION)执行(默认策略)

  2. 级联(CASCADE)操作

  3. 设置为空值(SET-NULL):对于参照完整性,除了应该定义外码,还应定义外码列是否允许空值

显式说明参照完整性的违约处理示例

CREATE TABLE SC
        (Sno   CHAR(9)  NOT NULL,
         Cno   CHAR(4)  NOT NULL,
         Grade  SMALLINT,
         PRIMARY KEY(Sno,Cno), 				
         FOREIGN KEY (Sno) REFERENCES Student(Sno) 
		ON DELETE CASCADE     /*级联删除SC表中相应的元组*/
                ON UPDATE CASCADE, /*级联更新SC表中相应的元组*/
         FOREIGN KEY (Cno) REFERENCES Course(Cno) 	                    
               ON DELETE NO ACTION 	
               /*当删除course 表中的元组造成了与SC表不一致时拒绝删除*/
               ON UPDATE CASCADE   
      	/*当更新course表中的cno时,级联更新SC表中相应的元组*/
        )

5.3 用户定义的完整性

用户定义的完整性就是针对某一具体应用的数据必须满足的语义要求 。RDBMS提供,而不必由应用程序承担

5.3.1 属性上的约束条件的定义

CREATE TABLE时定义

  • 列值非空(NOT NULL)
  • 列值唯一(UNIQUE)
  • 检查列值是否满足一个布尔表达式(CHECK)

1.不允许取空值

例:在定义SC表时,说明Sno、Cno、Grade属性不允许取空值。

CREATE TABLE SC
      (Sno  CHAR(9)  NOT NULL,	
          Cno  CHAR(4)  NOT NULL,	
          Grade  SMALLINT NOT NULL,	
          PRIMARY KEY (Sno,Cno),  
          /* 如果在表级定义实体完整性,隐含了Sno,Cno不允许取空值,
          则在列级不允许取空值的定义就不必写了 */
        ); 

2.列值唯一

例:建立部门表DEPT,要求部门名称Dname列取值唯一,部门编号Deptno列为主码

CREATE TABLE DEPT
        (Deptno  NUMERIC(2),
          Dname  CHAR(9)  UNIQUE/*要求Dname列值唯一*/
          Location  CHAR(10)PRIMARY KEY (Deptno)
       )
  1. CHECK短语指定列值应该满足的条件

例:Student表的Ssex只允许取“男”或“女”

CREATE TABLE Student
        (Sno  CHAR(9) PRIMARY KEY,
          Sname CHAR(8) NOT NULL,                     
          Ssex  CHAR(2)  CHECK (Ssex IN (‘男’,‘女’) )/*性别属性Ssex只允许取'男'或'女' */
          Sage  SMALLINT,
          Sdept  CHAR(20)
        );

5.3.2 属性上的约束条件检查和违约处理

插入元组或修改属性的值时,RDBMS检查属性上的约束条件是否被满足。如果不满足则操作被拒绝执行

5.3.3 元组上的约束条件的定义

在CREATE TABLE时可以用CHECK短语定义元组上的约束条件,即元组级的限制

同属性值限制相比,元组级的限制可以设置不同属性之间的取值的相互约束条件

例:当学生的性别是男时,其名字不能以Ms.打头。

CREATE TABLE Student
         (Sno    CHAR(9), 
          Sname  CHAR(8) NOT NULL,
          Ssex    CHAR(2),
          Sage   SMALLINT,
          Sdept  CHAR(20)PRIMARY KEY (Sno)CHECK (Ssex='女' OR Sname NOT LIKE 'Ms.%')
          /*定义了元组中Sname和 Ssex两个属性值之间的约束条件*/
        )

性别是女性的元组都能通过该项检查,因为Ssex=‘女’成立;
当性别是男性时,要通过检查则名字一定不能以Ms.打头

5.3.4 元组上的约束条件检查和违约处理

插入元组或修改属性的值时,RDBMS检查元组上的约束条件是否被满足。如果不满足则操作被拒绝执行

5.4 完整性约束命名子句

CONSTRAINT 约束

CONSTRAINT <完整性约束条件名>PRIMARY KEY短语
   |FOREIGN KEY短语
   |CHECK短语]

1.完整性约束命名子句

例:建立学生登记表Student,要求学号在90000~99999之间,姓名不能取空值,年龄小于30,性别只能是“男”或“女”。

CREATE TABLE Student
      (Sno  NUMERIC(6)
        CONSTRAINT C1 CHECK (Sno BETWEEN 90000 AND 99999),
        Sname  CHAR(20)  
        CONSTRAINT C2 NOT NULL,
        Sage  NUMERIC(3)
        CONSTRAINT C3 CHECK (Sage < 30),
        Ssex  CHAR(2)
        CONSTRAINT C4 CHECK (Ssex IN ( '男''女'))CONSTRAINT StudentKey PRIMARY KEY(Sno)
      )

在Student表上建立了5个约束条件,包括主码约束(命名为StudentKey)以及C1、C2、C3、C4四个列级约束。

  1. 修改表中的完整性限制

使用ALTER TABLE语句修改表中的完整性限制

例:修改表Student中的约束条件,要求学号改为在900000~999999之间,年龄由小于30改为小于40

可以先删除原来的约束条件,再增加新的约束条件

ALTER TABLE Student
DROP CONSTRAINT C1;
ALTER TABLE Student
ADD CONSTRAINT C1 CHECK (Sno BETWEEN 900000 AND 999999)ALTER TABLE Student
DROP CONSTRAINT C3;
ALTER TABLE Student
ADD CONSTRAINT C3 CHECK (Sage < 40)

*5.5 域中的完整性限制

选学,不讲

5.6 断言

也没讲

5.7 触发器

触发器(Trigger)是用户定义在关系表上的一类由事件驱动的特殊过程

  • 由服务器自动激活
  • 可以进行更为复杂的检查和操作,具有更精细和更强大的数据控制能力

5.7.1 定义触发器

CREATE TRIGGER语法格式

CREATE TRIGGER <触发器名>  
       {BEFORE | AFTER} <触发事件> ON <表名>
        FOR EACH  {ROW | STATEMENT}
      [WHEN <触发条件><触发动作体>

定义触发器的语法说明:

  1. 创建者:表的拥有者
  2. 触发器名
  3. 表名:触发器的目标表
  4. 触发事件:INSERT、DELETE、UPDATE
  5. 触发器类型
  • 行级触发器(FOR EACH ROW)

  • 语句级触发器(FOR EACH STATEMENT)

例如,假设在[例11]的TEACHER表上创建了一个AFTER UPDATE触发器。如果表TEACHER有1000行,执行如下语句:

UPDATE TEACHER SET Deptno=5;

  • 如果该触发器为语句级触发器,那么执行完该语句后,触发动作只发生一次
  • 如果是行级触发器,触发动作将执行1000次
  1. 触发条件
  • 触发条件为真

  • 省略WHEN触发条件

  1. 触发动作体
  • 触发动作体可以是一个匿名PL/SQL过程块

  • 也可以是对已创建存储过程的调用

例:定义一个BEFORE行级触发器,为教师表Teacher定义完整性规则“教授的工资不得低于4000元,如果低于4000元,自动改为4000元”

CREATE TRIGGER Insert_Or_Update_Sal 
         BEFORE INSERT OR UPDATE ON Teacher  
        /*触发事件是插入或更新操作*/
         FOR EACH ROW                      /*行级触发器*/
        AS BEGIN                                  /*定义触发动作体,是PL/SQL过程块*/
              IF (new.Job='教授') AND (new.Sal < 4000) THEN   
              new.Sal :=4000;                
              END IF;
        END;        

5.6.2 激活触发器

触发器的执行,是由触发事件激活的,并由数据库服务器自动执行一个数据表上可能定义了多个触发器
同一个表上的多个触发器激活时遵循如下的执行顺序:
(1) 执行该表上的BEFORE触发器;
(2) 激活触发器的SQL语句;
(3) 执行该表上的AFTER触发器。

5.6.3 删除触发器

删除触发器的SQL语法:

DROP TRIGGER <触发器名> ON <表名>;

触发器必须是一个已经创建的触发器,并且只能由具有相应权限的用户删除。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/375176.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

操作系统——7.进程的定义,组成,组成方式和特征

目录 1.概述 ​编辑2.定义 2.1单道程序 2.2多道程序 2.3进程定义 3.进程的组成 3.1进程的组成内容 3.2 PCB中的内容 4.进程的组织 4.1进程的两种组织方式 4.2链接方式 4.3索引方式 5.进程的特征 6.小结 这篇文章&#xff0c;我们主要来学习一下进程的定义&#xff0…

深度剖析Java集合之Properties

Properties 前面我们介绍了各种各样的Map ,今天我们介绍一个我们常用来保存程序运行配置参数的一个类,Properties 它的操作和Map 非常像,不一样的是它提供了和文件的交互操作,也就是说我们的配置可以保存到文件里或者是从文件里加载。 源代码 首先我们看一下这个类的继承…

[FI业务流程] - 未清项管理 (XOPVW, XLGCLR, X_UJ_CLR)

1 业务背景 未清项管理&#xff08;OIM: Open Item Management&#xff09;是SAP系统中针对资产负债表科目&#xff08;Balance Sheet Accounts&#xff09;的一个功能。 对于过账到未清项管理类型的科目下的凭证&#xff0c;首先会被标记为“未清项”也即open状态&#xff1b…

解密游戏推荐系统的建设之路

作者&#xff1a;vivo 互联网服务器团队- Ke Jiachen、Wei Ling 本文从零开始介绍了游戏推荐项目的发展历程&#xff0c;阐述了大型项目建设中遇到的业务与架构问题以及开发工程师们的解决方案&#xff0c;描绘了游戏推荐项目的特点以及业务发展方向&#xff0c;有着较好的参考…

内存保护_1:Tricore芯片MPU模块介绍

上一篇 | 返回主目录 | 下一篇 内存保护_1&#xff1a;Tricore芯片MPU模块介绍1 何为MPU2 MPU相关的硬件子系统2.1 基于地址范围保护逻辑说明2.1.1 地址范围寄存器2.1.2 读、写、执行权限寄存器2.1.3 保护集设置位2.1.4 内存保护功能使能位2.1.5 核的内存保护范围获取说明2.1.6…

【Proteus仿真】【STM32单片机】粮仓温湿度控制系统设计

文章目录一、功能简介二、软件设计三、实验现象联系作者一、功能简介 本项目使用Proteus8仿真STM32单片机控制器&#xff0c;使用声光报警模块、LCD1602显示模块、DHT11温湿度模块、继电器模块、加热加湿除湿风扇等。 主要功能&#xff1a; 系统运行后&#xff0c;LCD1602显示…

Atlassian Server用户新选择 | 数据中心产品是否适合您的企业(2)?

2024年2月&#xff0c;也就是一年不到&#xff0c;Atlassian将终止对Server产品及插件的所有支持。 此公告发布后&#xff0c;许多用户需要了解怎样的前进方向才是最适合企业的。为此&#xff0c;Atlassian提供了本地部署的数据中心&#xff08;Data Center&#xff09;版&…

如何基于MLServer构建Python机器学习服务

文章目录前言一、数据集二、训练 Scikit-learn 模型三、基于MLSever构建Scikit-learn服务四、测试模型五、训练 XGBoost 模型六、服务多个模型七、测试多个模型的准确性总结参考前言 在过去我们训练模型&#xff0c;往往通过编写flask代码或者容器化我们的模型并在docker中运行…

我要测网2022优秀检测机构评选活动举办,径硕科技分享数字营销趋势

2023年2月17号&#xff0c;由我要测网主办的「数字营销韧性增长&#xff5c;2023TIC营销人开年报告」圆满举办。来自南京市产品质量监督检验院、中国检科院测试评价中心、径硕科技JINGdigital等企业的3位“重量级”嘉宾进行了精彩纷呈的分享&#xff0c;为在低谷中前行的检测机…

svg和D3.js

一、svg绘制图形 像素图由一个个像素块组成&#xff0c;矢量图由多个数学公式绘制曲线组成&#xff0c;这样即使我们缩放&#xff0c;数学公式会重新计算&#xff0c;所以矢量图不会出现失真。 <!DOCTYPE html> <html lang"en"><head><meta ch…

日本知名动画公司东映动画加入 The Sandbox 元宇宙

与 Minto 合作将东映动画的 IP 呈现在元宇宙。 The Sandbox 很荣幸能与东映动画合作&#xff0c;与 Minto 携手在 The Sandbox 元宇宙中创建基于东映动画 IP 的相关体验。 作为日本动画的先驱&#xff0c;东映动画制作了日本最大和世界领先的动画作品&#xff0c;包括《龙珠》、…

Python实现贝叶斯优化器(Bayes_opt)优化LightGBM分类模型(LGBMClassifier算法)项目实战

说明&#xff1a;这是一个机器学习实战项目&#xff08;附带数据代码文档视频讲解&#xff09;&#xff0c;如需数据代码文档视频讲解可以直接到文章最后获取。1.项目背景贝叶斯优化器(BayesianOptimization) 是一种黑盒子优化器&#xff0c;用来寻找最优参数。贝叶斯优化器是基…

Spring Cloud融合Nacos实现服务的注册与发现 | Spring Cloud 4

一、前言 服务发现是微服务架构体系中最关键的组件之一。如果尝试着用手动的方式来给每一个客户端来配置所有服务提供者的服务列表是一件非常困难的事&#xff0c;而且也不利于服务的动态扩缩容。 Spring Cloud Alibaba Nacos Discovery通过自动配置以及其他Spring 编程模型的…

独立产品灵感周刊 DecoHack #049 - 开发者如何学习UI设计

本周刊记录有趣好玩的独立产品设计开发相关内容&#xff0c;每周发布&#xff0c;往期内容同样精彩&#xff0c;感兴趣的伙伴可以点击订阅我的周刊。为保证每期都能收到&#xff0c;建议邮件订阅。欢迎通过 Twitter 私信推荐或投稿。&#x1f4bb; 产品推荐 1. method.ac 这个…

一文读懂账号体系产品设计

一、账号体系的概念及价值账号体系是用户在各平台上的通行证。平台给与用户可持续的服务&#xff0c;用户在平台上获取价值&#xff0c;中间的媒介&#xff0c;便是账号体系。阿境将其理解为维系用户与平台之间的枢纽。注&#xff1a;本文中&#xff0c;账号账户&#xff0c;二…

《Python机器学习》基础代码2

&#x1f442; 逝年 - 夏小虎 - 单曲 - 网易云音乐 目录 &#x1f44a;Matplotlib综合应用&#xff1a;空气质量监测数据的图形化展示 &#x1f33c;1&#xff0c;AQI时序变化特点 &#x1f33c;2&#xff0c;AQI分布特征 相关性分析 &#x1f33c;3&#xff0c;优化图形…

Python实现GWO智能灰狼优化算法优化循环神经网络回归模型(LSTM回归算法)项目实战

说明&#xff1a;这是一个机器学习实战项目&#xff08;附带数据代码文档视频讲解&#xff09;&#xff0c;如需数据代码文档视频讲解可以直接到文章最后获取。1.项目背景灰狼优化算法(GWO)&#xff0c;由澳大利亚格里菲斯大学学者 Mirjalili 等人于2014年提出来的一种群智能优…

Linux和Windows环境下配置Redis开机自启动

Linux和Windows环境下配置Redis开机自启动前言Linux服务器上设置开机自启动前置条件配置开机自启动启动的配置文件添加脚本的设置Windows设置开机自启其他简单命令前言 rt&#xff0c;没怎么接触过服务器还要摊上这么档子事&#xff0c;面试的时候也没说要跟服务器打交道啊。。…

【前端】JS异步加载

文章目录为什么要异步加载如何实现异步加载参考为什么要异步加载 两个原因其实是一个意思。 原因1&#xff1a; JS是单线程的语言&#xff0c;它会同步的执行代码&#xff0c;从上往下执行 但是&#xff0c;一旦网络不好&#xff0c;或要加载的js文件过大的话&#xff0c;会…

记一次真实liunx挖矿病毒处理

在一个周末的晚上&#xff0c;收到了群里一个学弟的消息&#xff1a;话不多说开始应急&#xff1a;发现新增用户包括计划任务&#xff0c;包括使用率为百分百的cpu&#xff0c;可以确定是被入侵且植入了挖矿病毒。后门用户&#xff1a;计划任务&#xff1a;top查看进程信息&…