翻译该文件内容形成一个新的文件

时间: 2024-09-27 08:13:50 浏览: 29
### COMP9120 第五周:数据库完整性约束 第二学期 2024 教授 Athman Bouguettaya 计算机科学学院 #### 内容与 Dr Lijun Chang 共同开发 ##### 致谢词 我想向澳大利亚的传统所有者表示感谢,并承认他们对土地、水和文化的持续联系。目前我所在的地方是 Eora 国家 Gadigal 人民的土地上,我对他们的长老们表示敬意。 #### 版权声明 ##### 大纲 - 完整性约束概览 - 静态完整性约束 - 域约束 - 主键/引用完整性约束 - 语义完整性约束 - 断言 - 动态完整性约束 - 触发器 #### 完整性约束(IC) - 定义:必须适用于每个数据库实例的条件。 - 初始设计阶段的一部分以保证数据库一致性和一致性。 - 可在任何时候添加或更新(通过 `ALTER TABLE` 命令)。 - 当执行这样的命令时,系统会首先确认关系满足指定的约束。如果满足,则加入关系;如果不满足,则拒绝命令。 - 合法的关系实例是指满足所有规定约束的关系。 - 不一定总是如此。 #### 捕获完整性约束的原因 为什么需要捕获完整性约束? 为了确保数据存储符合应用程序域的实际意义(语义),避免数据输入错误并保持数据的一致性,使应用开发更简单且可维护性强。 #### 数据库中的完整性约束 如前所述,完整性约束是在数据库模式设计过程中指定的。 检测过程可以自动化但可能带来不可接受的开销。 当提到的部分数据库被修改时检查完整性约束。 可以在某些情况下指定何时应检查完整性约束,例如,在 SQL 语句之后或者在一个事务结束时。 #### 完整性的可能反应方式 - 拒绝数据库操作——不执行它。 - 中止整个事务——回滚作为事务一部分的所有操作。 - 执行“维护”操作来恢复数据库合法性。 #### 完整性约束的分类 - 静态完整性约束描述了每个合法数据库实例必须满足的状态独立条件。 - 插入/删除/更新违反 IC 将被禁止。 - 四种类型的静态完整性约束:域约束、主键约束及引用完整性、语义完整性约束、断言。 - 动态完整性约束是对数据库状态变化上的谓词捕捉两个或多个状态间的条件。因此动态完整性约束是状态依赖的。 - 触发器 #### 域约束 字段必须属于正确的数据域。 使用 SQL DDL 还可以通过以下子句进一步限制属性的数据域: - 默认值 (`DEFAULT`):为属性提供默认值。 - 不允许空值 (`NOT NULL`):属性不允许成为 NULL。 - 允许空值 (`NULL`):属性的值可以是 NULL,默认为空值。 #### 示例:域约束 ```sql CREATE TABLE Student ( sid INTEGER NOT NULL, name VARCHAR(20) NOT NULL, semester INTEGER DEFAULT 1, birthday DATE NULL, country VARCHAR(20) ); ``` 示例插入: ```sql INSERT INTO Student(sid, name) VALUES(123, 'Peter'); ``` 域检查约束 限制属性允许的值通过指定额外条件使用内联检查约束: ```sql att-name sql-data-type CHECK(condition) ``` 例子: - 成绩只能是 'F','P','C','D' 或 'H' - 年龄必须是正数 #### 用户定义的域 可以从现有数据域创建新域,带有自己的默认值和限制: ```sql CREATE DOMAIN domain-name sql-data-type ... ``` 示例: ```sql CREATE DOMAIN Grade CHAR(1) DEFAULT 'P' CHECK(VALUE IN ('F', 'P', 'C', 'D', 'H')); ``` #### 主键约束 在 SQL 中我们使用 `PRIMARY KEY` 和 `UNIQUE` 子句指定主键约束: 一个关系可以有多个候选键,但是只有一个主键。 #### 外键和引用完整性 外键是一组引用关系中用来引用父表元组的属性集。 对于每个外键值α,必须有一个父表的对应属性值也是α。 如果强制实施所有外键约束,则实现了引用完整性。 #### 在 SQL 中的外键 ```sql CREATE TABLE Enrolled ( sid INTEGER, uos CHAR(8), grade VARCHAR(2), PRIMARY KEY(sid, uos), FOREIGN KEY(sid) REFERENCES Student, FOREIGN KEY(uos) REFERENCES Unitofstudy ); ``` #### 强制引用完整性的 SQL 支持选项 支持删除和更新父关系上的选项: - 默认 NO ACTION(拒绝删除/更新) - CASCADE(也删除/更新所有指向已删除/更新元组的元组) - SET NULL/ SET DEFAULT(设置所有指向已删除/更新元组的元组为 NULL/DEFAULT) #### 表约束:语义完整性约束 例子:“总分介于 0 和 100 之间”,“只有课程讲师才能给出分数。” 使用 SQL CHECK 约束进行内联或作为单独命名的约束。 #### 命名完整性约束 用于命名任何完整性约束。 ```sql CONSTRAINT constraint-name constraint-definition ``` #### 约束检查的时间点 任何约束都可声明为: - NOT DEFERRABLE(默认)。每次发生数据库修改时立即检查约束。 - DEFERRABLE 给予等待直到事务完成再检查约束的选择。 - INITIALLY DEFERRED 等待事务结束,然而可以在事务后期动态改变。 - INITIALLY IMMEDIATE 立即检查,然而可以在事务后期动态改变。 #### 添加/修改/移除完整性约束 使用 `ALTER TABLE` 语句添加、修改(仅适用于域约束)、移除现有的架构约束。 ```sql ALTER TABLE table-name constraint-modification ``` #### 断言 一些约束无法只用域约束或引用完整性约束表达; 需要更通用的完整性约束,跨多个表适用:断言。 ```sql CREATE ASSERTION assertion-name CHECK(condition) ``` #### 断言示例 假设要定义一个小帆船俱乐部的要求。 ```sql CREATE ASSERTION smallclub CHECK( (SELECT COUNT(s.sid) FROM Sailors s) + (SELECT COUNT(b.bid) FROM Boats b) < 10)); ``` #### 使用一般断言 写出选择违反条件的元组查询,然后使用 `NOT EXISTS` 确保断言返回真。 结果集为空时断言才成立。 #### 一般断言示例 假设四个关系:贷款、借款人、存款人、账户。 定义断言说明每个贷款至少有一名借款人维持账户余额最低1000美元。 ```sql CREATE ASSERTION balance_constraint CHECK( NOT EXISTS ( SELECT * FROM Loan WHERE NOT EXISTS ( SELECT Borrower.loan_number, Borrower.balance FROM Borrower JOIN Depositor ON Borrower.customer_name = Depositor.customer_name JOIN Account ON Depositor.account_number = Account.account_number WHERE Loan.loan_number = Borrower.loan_number AND Account.balance >= 1000 ) ) ); ``` #### 触发器 触发器是一种代码段,当数据库发生特定修改并且特定条件为真时自动执行。 触发器规范由三部分组成: - 事件(激活触发器的操作) - 条件(确定是否执行动作) - 动作(若条件为真时发生的操作) #### 为何使用触发器 断言不能修改数据,需要更强大的机制来检查条件并修改数据库中的数据。 触发器可用于维护外键和语义约束,通常与 `ON DELETE` 和 `ON UPDATE` 结合使用。 还可以编码动态业务规则,监测传感器读数等。 #### 触发器示例 如果某个学生的当前评估成绩之和大于等于50,则录入等级 "P"。 ```sql CREATE TRIGGER gradeEntry AFTER INSERT OR UPDATE ON Assessment BEGIN UPDATE Enrolled E SET grade='P' WHERE (SELECT SUM(mark) FROM Assessment A WHERE A.sid=E.sid AND A.uos=E.uosCode) >= 50; END; ``` #### 触发事件和动作 触发事件可以是 `INSERT`, `DELETE` 或 `UPDATE`。 触发器可以针对具体属性更新。 可以引用更新前后的属性值。 #### 触发粒度 - 行级触发器:每行修改后触发一次。 - 语句级触发器:针对每次触发事件触发一次,无论有多少行被修改。 #### 行级触发器示例 假设出于审计目的,定义了一个触发器以确保每次员工表中插入或更新一行时,记录修改人的用户名和时间戳,并检查员工姓名和薪水不得为空且薪水非负。 ```sql CREATE FUNCTION emp_stamp() RETURNS trigger AS $$ ... END; $emp_stamp$ LANGUAGE plpgsql; CREATE TRIGGER emp_stamp BEFORE INSERT OR UPDATE ON emp FOR EACH ROW EXECUTE PROCEDURE emp_stamp(); ``` #### 语句级触发器示例 假设平均工资在每次插入新员工或更新员工记录时被时间戳到专用关系中。 ```sql CREATE FUNCTION Salary_Average() RETURNS trigger AS $$ ... END; $$ LANGUAGE plpgsql; CREATE TRIGGER RecordNewAverage AFTER UPDATE OF Salary OR INSERT ON Employee FOR EACH STATEMENT EXECUTE PROCEDURE Salary_Average(); ``` #### 何时使用行级或语句级触发器 考虑因素包括更新成本以及触发器的执行频率。 #### 触发器级别对比 - 行级触发器:每次更新/插入/删除时执行一次,主要用于数据审核。 - 语句级触发器:每次单个 SQL 语句执行一次,用于批量修改。 #### 触发器的一些提示 - 使用 `BEFORE` 触发器——通常用于检查完整性约束。 - 能够在 SQL 架构中捕获完整性约束。 - 能够利用断言制定复杂的语义约束。 - 知道何时使用断言和 CHECK 约束。 - 能够制定简单的触发器。 - 知道行级与语句级触发器的区别。 #### 下周预告 - 高级 SQL:嵌套查询、聚合与分组。 - NULL 值。
阅读全文

相关推荐

最新推荐

recommend-type

ASP.net外文翻译

总之,ASP.NET是微软提供的一个强大Web开发平台,它通过.NET类库提供了丰富的功能和工具,简化了开发流程。理解和掌握ASP.NET的关键概念和技术,对于进行Web应用程序的开发至关重要。而高质量的外文翻译则是获取最新...
recommend-type

starccm官方案例加中英文帮助文档

本教程集包含了100多个案例文件,涵盖了从基础概念到复杂问题的解决方法,无论是初学者还是经验丰富的用户,都能从中获益。通过这些实例的学习,用户将能够熟练掌握STAR-CCM+的使用,从而在实际工程问题中实现精准的...
recommend-type

C语言面向对象编程(doc格式,非英文翻译版)

比如,创建一个新的结构体,包含原有结构体作为成员,并添加新的成员和方法。这样,新结构体就拥有了原结构体的所有属性和行为,同时还可以扩展新的特性。 总之,C语言虽然没有内置的面向对象特性,但通过巧妙的...
recommend-type

java及web中英对照译文

JavaServer Pages(JSP)是Java技术领域中用于构建动态网页的一种标准技术,由Sun Microsystems公司发起并由多家...总之,JSP技术为Web应用开发提供了一个强大且灵活的框架,使得动态网页的创建变得更加高效和便捷。
recommend-type

python小爬虫.zip

python小爬虫
recommend-type

前端协作项目:发布猜图游戏功能与待修复事项

资源摘要信息:"People-peephole-frontend是一个面向前端开发者的仓库,包含了一个由Rails和IOS团队在2015年夏季亚特兰大Iron Yard协作完成的项目。该仓库中的项目是一个具有特定功能的应用,允许用户通过iPhone或Web应用发布图像,并通过多项选择的方式让用户猜测图像是什么。该项目提供了一个互动性的平台,使用户能够通过猜测来获取分数,正确答案将提供积分,并防止用户对同一帖子重复提交答案。 当前项目存在一些待修复的错误,主要包括: 1. 答案提交功能存在问题,所有答案提交操作均返回布尔值true,表明可能存在逻辑错误或前端与后端的数据交互问题。 2. 猜测功能无法正常工作,这可能涉及到游戏逻辑、数据处理或是用户界面的交互问题。 3. 需要添加计分板功能,以展示用户的得分情况,增强游戏的激励机制。 4. 删除帖子功能存在损坏,需要修复以保证应用的正常运行。 5. 项目的样式过时,需要更新以反映跨所有平台的流程,提高用户体验。 技术栈和依赖项方面,该项目需要Node.js环境和npm包管理器进行依赖安装,因为项目中使用了大量Node软件包。此外,Bower也是一个重要的依赖项,需要通过bower install命令安装。Font-Awesome和Materialize是该项目用到的前端资源,它们提供了图标和界面组件,增强了项目的视觉效果和用户交互体验。 由于本仓库的主要内容是前端项目,因此JavaScript知识在其中扮演着重要角色。开发者需要掌握JavaScript的基础知识,以及可能涉及到的任何相关库或框架,比如用于开发Web应用的AngularJS、React.js或Vue.js。同时,对于iOS开发,可能还会涉及到Swift或Objective-C等编程语言,以及相应的开发工具Xcode。对于Rails,开发者则需要熟悉Ruby编程语言以及Rails框架的相关知识。 开发流程中可能会使用的其他工具包括: - Git:用于版本控制和代码管理。 - HTML/CSS:用于构建网页结构和样式。 - Webpack或Gulp:用于项目构建和优化流程。 - Babel:用于JavaScript代码的兼容性处理。 - Linting工具:如ESLint,用于代码质量检查和维护代码风格一致性。 总结来看,People-peephole-frontend项目不仅涉及到了跨平台协作的经验分享,还提供了前端开发的学习和实践机会,尤其在交互设计、前端工程化、依赖管理及样式设计等方面。开发者可以通过参与该项目的修复和完善工作,提高自身技能并积累宝贵的项目经验。"
recommend-type

管理建模和仿真的文件

管理Boualem Benatallah引用此版本:布阿利姆·贝纳塔拉。管理建模和仿真。约瑟夫-傅立叶大学-格勒诺布尔第一大学,1996年。法语。NNT:电话:00345357HAL ID:电话:00345357https://theses.hal.science/tel-003453572008年12月9日提交HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire
recommend-type

【高斯信道信号编码优化】:4大方法优化Chirp信号编码过程

![高斯信道下的chirp信号解调](https://img-blog.csdnimg.cn/d37646d14e4e4b51b01e617b59167c74.png) # 1. 高斯信道与Chirp信号编码基础 ## 简介 在现代通信领域,信息的传递无处不在,而保障信息传递的清晰与高效是通信技术的核心挑战之一。高斯信道作为通信系统中最常见和基础的模型,为我们理解和优化信号传输提供了重要的理论支持。Chirp信号,以其独特的频谱扩展特性,在无线通信、雷达和声纳系统中发挥着越来越重要的作用。本章将介绍高斯信道的特性以及Chirp信号的基础知识,为读者搭建起后续章节深入探讨优化方法的理论基础。
recommend-type

对给定图,实现图的深度优先遍历和广度优先遍历。以邻接表或邻接矩阵为存储结构,实现连通无向图的深度优先和广度优先遍历。以用户指定的结点为起点,分别输出每种遍历下的结点访问序列,并调试算法。使用C语言

在C语言中,我们可以使用邻接表或邻接矩阵来存储图的数据结构。这里我将简单介绍如何实现深度优先搜索(DFS)和广度优先搜索(BFS): **使用邻接表实现:** ```c #include <stdio.h> #include <stdlib.h> typedef struct Node { int val; struct Node* next; } Node; // 创建邻接列表表示图 Node* createAdjacencyList(int numNodes) { // 初始化节点数组 Node** adjList = malloc(sizeof(No
recommend-type

Spring框架REST服务开发实践指南

资源摘要信息: "在本教程中,我们将详细介绍如何使用Spring框架来构建RESTful Web服务,提供对Java开发人员的基础知识和学习参考。" 一、Spring框架基础知识 Spring是一个开源的Java/Java EE全功能栈(full-stack)应用程序框架和 inversion of control(IoC)容器。它主要分为以下几个核心模块: - 核心容器:包括Core、Beans、Context和Expression Language模块。 - 数据访问/集成:涵盖JDBC、ORM、OXM、JMS和Transaction模块。 - Web模块:提供构建Web应用程序的Spring MVC框架。 - AOP和Aspects:提供面向切面编程的实现,允许定义方法拦截器和切点来清晰地分离功能。 - 消息:提供对消息传递的支持。 - 测试:支持使用JUnit或TestNG对Spring组件进行测试。 二、构建RESTful Web服务 RESTful Web服务是一种使用HTTP和REST原则来设计网络服务的方法。Spring通过Spring MVC模块提供对RESTful服务的构建支持。以下是一些关键知识点: - 控制器(Controller):处理用户请求并返回响应的组件。 - REST控制器:特殊的控制器,用于创建RESTful服务,可以返回多种格式的数据(如JSON、XML等)。 - 资源(Resource):代表网络中的数据对象,可以通过URI寻址。 - @RestController注解:一个方便的注解,结合@Controller注解使用,将类标记为控制器,并自动将返回的响应体绑定到HTTP响应体中。 - @RequestMapping注解:用于映射Web请求到特定处理器的方法。 - HTTP动词(GET、POST、PUT、DELETE等):在RESTful服务中用于执行CRUD(创建、读取、更新、删除)操作。 三、使用Spring构建REST服务 构建REST服务需要对Spring框架有深入的理解,以及熟悉MVC设计模式和HTTP协议。以下是一些关键步骤: 1. 创建Spring Boot项目:使用Spring Initializr或相关构建工具(如Maven或Gradle)初始化项目。 2. 配置Spring MVC:在Spring Boot应用中通常不需要手动配置,但可以进行自定义。 3. 创建实体类和资源控制器:实体类映射数据库中的数据,资源控制器处理与实体相关的请求。 4. 使用Spring Data JPA或MyBatis进行数据持久化:JPA是一个Java持久化API,而MyBatis是一个支持定制化SQL、存储过程以及高级映射的持久层框架。 5. 应用切面编程(AOP):使用@Aspect注解定义切面,通过切点表达式实现方法的拦截。 6. 异常处理:使用@ControllerAdvice注解创建全局异常处理器。 7. 单元测试和集成测试:使用Spring Test模块进行控制器的测试。 四、学习参考 - 国际奥委会:可能是错误的提及,对于本教程没有相关性。 - AOP:面向切面编程,是Spring的核心功能之一。 - MVC:模型-视图-控制器设计模式,是构建Web应用的常见架构。 - 道:在这里可能指学习之道,或者是学习Spring的原则和最佳实践。 - JDBC:Java数据库连接,是Java EE的一部分,用于在Java代码中连接和操作数据库。 - Hibernate:一个对象关系映射(ORM)框架,简化了数据库访问代码。 - MyBatis:一个半自动化的ORM框架,它提供了更细致的SQL操作方式。 五、结束语 以上内容为《learnSpring:学习春天》的核心知识点,涵盖了从Spring框架的基础知识、RESTful Web服务的构建、使用Spring开发REST服务的方法,以及与学习Spring相关的技术栈介绍。对于想要深入学习Java开发,特别是RESTful服务开发的开发者来说,这是一份非常宝贵的资源。