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

时间: 2024-09-27 15:13:50 浏览: 35
### 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

基于java的房地产销售管理系统的开题报告.docx

基于java的房地产销售管理系统的开题报告
recommend-type

Angular实现MarcHayek简历展示应用教程

资源摘要信息:"MarcHayek-CV:我的简历的Angular应用" Angular 应用是一个基于Angular框架开发的前端应用程序。Angular是一个由谷歌(Google)维护和开发的开源前端框架,它使用TypeScript作为主要编程语言,并且是单页面应用程序(SPA)的优秀解决方案。该应用不仅展示了Marc Hayek的个人简历,而且还介绍了如何在本地环境中设置和配置该Angular项目。 知识点详细说明: 1. Angular 应用程序设置: - Angular 应用程序通常依赖于Node.js运行环境,因此首先需要全局安装Node.js包管理器npm。 - 在本案例中,通过npm安装了两个开发工具:bower和gulp。bower是一个前端包管理器,用于管理项目依赖,而gulp则是一个自动化构建工具,用于处理如压缩、编译、单元测试等任务。 2. 本地环境安装步骤: - 安装命令`npm install -g bower`和`npm install --global gulp`用来全局安装这两个工具。 - 使用git命令克隆远程仓库到本地服务器。支持使用SSH方式(`***:marc-hayek/MarcHayek-CV.git`)和HTTPS方式(需要替换为具体用户名,如`git clone ***`)。 3. 配置流程: - 在server文件夹中的config.json文件里,需要添加用户的电子邮件和密码,以便该应用能够通过内置的联系功能发送信息给Marc Hayek。 - 如果想要在本地服务器上运行该应用程序,则需要根据不同的环境配置(开发环境或生产环境)修改config.json文件中的“baseURL”选项。具体而言,开发环境下通常设置为“../build”,生产环境下设置为“../bin”。 4. 使用的技术栈: - JavaScript:虽然没有直接提到,但是由于Angular框架主要是用JavaScript来编写的,因此这是必须理解的核心技术之一。 - TypeScript:Angular使用TypeScript作为开发语言,它是JavaScript的一个超集,添加了静态类型检查等功能。 - Node.js和npm:用于运行JavaScript代码以及管理JavaScript项目的依赖。 - Git:版本控制系统,用于代码的版本管理及协作开发。 5. 关于项目结构: - 该应用的项目文件夹结构可能遵循Angular CLI的典型结构,包含了如下目录:app(存放应用组件)、assets(存放静态资源如图片、样式表等)、environments(存放环境配置文件)、server(存放服务器配置文件如上文的config.json)等。 6. 开发和构建流程: - 开发时,可能会使用Angular CLI来快速生成组件、服务等,并利用热重载等特性进行实时开发。 - 构建应用时,通过gulp等构建工具可以进行代码压缩、ES6转译、单元测试等自动化任务,以确保代码的质量和性能优化。 7. 部署: - 项目最终需要部署到服务器上,配置文件中的“baseURL”选项指明了服务器上的资源基础路径。 8. 关于Git仓库: - 压缩包子文件的名称为MarcHayek-CV-master,表明这是一个使用Git版本控制的仓库,且存在一个名为master的分支,这通常是项目的主分支。 以上知识点围绕Angular应用“MarcHayek-CV:我的简历”的创建、配置、开发、构建及部署流程进行了详细说明,涉及了前端开发中常见的工具、技术及工作流。
recommend-type

管理建模和仿真的文件

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

深入剖析:内存溢出背后的原因、预防及应急策略(专家版)

![深入剖析:内存溢出背后的原因、预防及应急策略(专家版)](https://d8it4huxumps7.cloudfront.net/uploads/images/65e82a01a4196_dangling_pointer_in_c_2.jpg?d=2000x2000) 参考资源链接:[Net 内存溢出(System.OutOfMemoryException)的常见情况和处理方式总结](https://wenku.csdn.net/doc/6412b784be7fbd1778d4a95f?spm=1055.2635.3001.10343) # 1. 内存溢出的概念及影响 内存溢出,又称
recommend-type

Java中如何对年月日时分秒的日期字符串作如下处理:如何日期分钟介于两个相连的半点之间,就将分钟数调整为前半点

在Java中,你可以使用`java.time`包中的类来处理日期和时间,包括格式化和调整。下面是一个示例,展示了如何根据给定的日期字符串(假设格式为"yyyy-MM-dd HH:mm:ss")进行这样的处理: ```java import java.text.SimpleDateFormat; import java.time.LocalDateTime; import java.time.ZoneId; import java.time.ZonedDateTime; public class Main { public static void main(String[] args
recommend-type

Crossbow Spot最新更新 - 获取Chrome扩展新闻

资源摘要信息:"Crossbow Spot - Latest News Update-crx插件" 该信息是关于一款特定的Google Chrome浏览器扩展程序,名为"Crossbow Spot - Latest News Update"。此插件的目的是帮助用户第一时间获取最新的Crossbow Spot相关信息,它作为一个RSS阅读器,自动聚合并展示Crossbow Spot的最新新闻内容。 从描述中可以提取以下关键知识点: 1. 功能概述: - 扩展程序能让用户领先一步了解Crossbow Spot的最新消息,提供实时更新。 - 它支持自动更新功能,用户不必手动点击即可刷新获取最新资讯。 - 用户界面设计灵活,具有美观的新闻小部件,使得信息的展现既实用又吸引人。 2. 用户体验: - 桌面通知功能,通过Chrome的新通知中心托盘进行实时推送,确保用户不会错过任何重要新闻。 - 提供一个便捷的方式来保持与Crossbow Spot最新动态的同步。 3. 语言支持: - 该插件目前仅支持英语,但开发者已经计划在未来的版本中添加对其他语言的支持。 4. 技术实现: - 此扩展程序是基于RSS Feed实现的,即从Crossbow Spot的RSS源中提取最新新闻。 - 扩展程序利用了Chrome的通知API,以及RSS Feed处理机制来实现新闻的即时推送和展示。 5. 版权与免责声明: - 所有的新闻内容都是通过RSS Feed聚合而来,扩展程序本身不提供原创内容。 - 用户在使用插件时应遵守相关的版权和隐私政策。 6. 安装与使用: - 用户需要从Chrome网上应用店下载.crx格式的插件文件,即Crossbow_Spot_-_Latest_News_Update.crx。 - 安装后,插件会自动运行,并且用户可以对其进行配置以满足个人偏好。 从以上信息可以看出,该扩展程序为那些对Crossbow Spot感兴趣或需要密切跟进其更新的用户提供了一个便捷的解决方案,通过集成RSS源和Chrome通知机制,使得信息获取变得更加高效和及时。这对于需要实时更新信息的用户而言,具有一定的实用价值。同时,插件的未来发展计划中包括了多语言支持,这将使得更多的用户能够使用并从中受益。