数据库原理(关系型数据库基本理论)——(

news2024/10/5 17:24:42

一、关系的概念

1.关系的定义

(1)域

        域是一组具有相同数据类型的值的集合,可以理解为int[](int类型的数组)是一个域。

(2)笛卡儿积

        简单来说,若干个域的笛卡儿积就是将这几个域的元素进行排列组合,即:

D1 =【Q、G、Y】,基数为3

D2 = 【1、2】,基数为2

则:笛卡儿积D1 * D2如下所示: 

D1D2
Q1
Q2
G1
G2
Y1
Y2

该笛卡儿积的基数为3*2=6 

(3)关系

        N个域(D1~DN)的笛卡儿积的子集称为这N个域上的一个N元关系,表示为:

R(D1, D2, D3, ......, DN)

如下,为上述域D1,D2的一个二元关系:

D1D2
Q1
G2

这里注意:当N = 1时叫单元关系,不叫一元关系。 

2.相关术语

  • 元组和属性:表中的每一行对应着一个元组,每一列对应着一个属性;
  • 候选码与主码:可以唯一标识元组的属性(如学生id)或属性组(如学生id与图书id找借书记录)为候选码,其中最小的为主码;
  • 主属性和非主属性:出现在候选码中的属性为主属性,没有的就是非主属性。

二、关系数据模型

1.关系模型及其要素

(1)关系模型的数据结构

        关系的描述称作关系模式,关系模式即关系的框架或结构,其形式化表示为

R(U,D,dom,F)

其中的含义分别为

  • R:关系名;
  • U:关系的属性集;
  • D:属性组中属性所来自的域;
  • dom:属性向域的映像集合;
  • F:属性间的数据依赖关系;

(2)关系操作

        关系操作包括数据更新、数据控制和数据查询。关系操作语言有下面几个:

  • 关系代数语言(ISBL);
  • 关系演算语言(ALPHA、实例查询语言);
  • 具有关系代数及关系演算双重特点的语言,结构化查询语言(SQL)是关系数据库的标准语言。

(3)关系完整性约束

  • 域完整性,例:学生关系中的性别只能是男或女;
  • 实体完整性:不能出现相同的元组(不是属性),且主属性的值不能为空值;
  • 参照完整性:又称为引用完整性,指一个表的外键(如专业id)不能出现引用表中没有的主键(如专业表的id);
  • 用户定义的完整性,例:图书关系中的价格不能为负数。

2.关系的性质及类型

(1)关系的性质

  • 同一列的数据具有同质性,即来自同一个域;
  • 关系中所有属性值都是原子的,即不可分割;
  • 同一关系中每一列对应一个属性;
  • 关系中不允许有完全相同的元组;
  • 在一个关系中元组的次序是无关紧要的;
  • 在一个关系中属性次序是无关紧要的。

(2)关系的类型:基本表,查询表和视图表。

三、关系代数

1.关系代数概述

  • 集合运算符:并运算\bigcup、交运算\bigcap、差运算—、广义笛卡儿积\times
  • 关系运算符:选择运算\sigma、投影运算\prod、连接运算\bowtie、除法运算\div
  • 比较运算符:大于>、小于<、不小于>=、不等于!=、等于=;
  • 逻辑运算符:非¬、与∧、或∨。

2.关系代数运算

数据库速成课之关系代数运算_哔哩哔哩_bilibili

3.关系演算(这里只对此知识点进行简单讲解我也不太会

(1)元组关系演算

        (\forallt)(\Phi)表示对所有的t,使\Phi都为真,则 (\forallt)(\Phi)为真,反之则为假;而(\existst)(\Phi)表示若存在一个t使得\Phi为真,则(\existst)(\Phi)为真。

题例:

查询作者“任民宏”编写的《数据库原理与应用》的图书单价,其中书名在第二列,作者在第四列,单价在第七列。

{t|(\existsu)(图书(u)∧u[2]='数据库原理与应用')∧u[4]='任民宏'∧t[1]=u[7]}

解释:

        t是新表的属性,只有一个图书单价,u是图书表的属性,该题题意为这本图书既是’数据库原理与应用‘并且作者是’任民宏‘,则两个条件用∧连接,最后将符合条件的图书价格赋给新表的第一个属性。

查询借阅了图书编号为“JSJ101”图书的读者卡号和姓名,其中借阅表和读者表的读者id在第一列,借阅表的图书id在第二列,读者表的读者姓名在第二列。

{t|(\existsu)(\existsv)(借阅(u)∧读者(v)∧u[1]=v[1]∧u[2]='JSJ101'∧t[1]=u[1]∧t[2]=v[2])}

解释:

        这里t是新表属性,u为借阅表属性,v为读者表属性,这里要注意的是新表这时候有两个属性。

查询没有借阅图书编号为“JSJ101”图书的读者卡号,表中关系同上。

{t|(\existsu)(\forallv)(读者(u)∧借阅(v)∧(u[1]=v[1]\rightarrowv[2]\neq'JSJ101')∧t[1]=u[1])}

解释:

        其中\rightarrow是推出符号,就是从左边可以推出右边,这个题我也没太看懂,背背吧,注意是这里借阅用的是\forall(我觉得是因为这里题目变成了没有借阅)。

(2)域关系演算

查询借阅了图书编号为“JSJ101”图书的读者卡号和姓名,表关系同上。

{t_1t_2|(\existsu_1u_2u_3u_4)(\existsv_1v_2v_3v_4v_5v_6v_7)(借阅(u_1u_2u_3u_4)∧读者(v_1v_2v_3v_4v_5v_6v_7)∧u_1=v_1u_2='JSJ101'∧t_1=u_1t_2=v_2)}

查询没有借阅图书编号为“JSJ101”图书的读者卡号,表关系同上。

{t_1|(\exists u_1u_2u_3u_4u_5u_6u_7)(\forall v_1v_2v_3v_4)(读者(u_1u_2u_3u_4u_5u_6u_7)\Lambda借阅(v_1v_2v_3v_4)\Lambda (u_1=v_1\rightarrow v_2\neq 'JSJ101')\Lambda t_1=u_1)

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

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

相关文章

算法与数据结构--决策树算法

欢迎来到 Papicatch的博客 文章目录 &#x1f349;决策树算法介绍 &#x1f348;原理 &#x1f348;核心思想包括 &#x1f34d;递归分割 &#x1f34d;选择标准 &#x1f34d;剪枝 &#x1f348;解题过程 &#x1f34d;数据准备 &#x1f34d;选择最佳分割特征 &…

pdf转图片,pdf转图片在线转

pdf转图片的方法&#xff0c;对于许多人来说可能是一个稍显陌生的操作。然而&#xff0c;在日常生活和工作中&#xff0c;我们有时确实需要将pdf文件转换为图片格式&#xff0c;以便于在特定的场合或平台上进行分享、展示或编辑。以下&#xff0c;我们将详细介绍一个pdf转成图片…

【每天学会一个渗透测试工具】dirsearch安装及使用指南

&#x1f31d;博客主页&#xff1a;泥菩萨 &#x1f496;专栏&#xff1a;Linux探索之旅 | 网络安全的神秘世界 | 专接本 | 每天学会一个渗透测试工具 ✨dirsearch介绍 dirsearch安装包百度网盘 disearch是基于Python开发的&#xff0c;因此需要确保你的系统中已经安装了pyth…

linux中acl策略+文件权限

文档归属的局限性 - 任何人只属于三种角色&#xff1a;属主 属组 其他人- 无法实现更精细的控制 acl访问策略 - 能够对个别用户个别组设置独立的权限- 大多数挂载ext3/4,xfs文件系统默认已支持 Usage: setfacl [-bkndRLP] { -m|-M|-x|-X ... } file ...setfacl [选项] u:用户名…

消息队列-分布式消息队列技术选型

Kafka Kafka 是 LinkedIn 开源的一个分布式流式处理平台&#xff0c;已经成为 Apache 顶级项目&#xff0c;早期被用来用于处理海量的日志&#xff0c;后面才慢慢发展成了一款功能全面的高性能消息队列。 流式处理平台具有三个关键功能&#xff1a; 消息队列&#xff1a;发布和…

【C++入门(1)】命名空间

一、C出世 我们先简单认识下C的来历&#xff0c;C是在C语言的基础上发展来的。 当年C的设计者Bjarne Stroustrup&#xff0c;本贾尼斯特劳斯特卢普先生设计C语言之初&#xff0c;是为了对C语言做出一些更改&#xff0c;弥补C语言在一些方面的不足&#xff0c;或者做出其他的设…

JAVA开发 选择多个文件,系统运行后自动生成ZIP压缩包

选择多个文件&#xff0c;系统运行后自动生成ZIP压缩包 实现方法1.1 代码块1.2 运行结果截取 相关知识 实现方法 案例简述&#xff1a;通过启动java代码来打开文件选择器对话框&#xff0c;用户选择确认需要进行压缩的文件&#xff0c;可一次性选择多个文件&#xff0c;选择完…

whisper 模型源码解读

whisper官方源码 whisper 模型官方代码&#xff1a;https://github.com/openai/whisper/blob/main/whisper/model.py &#xff1b;注释如下 import base64 import gzip from dataclasses import dataclass from typing import Dict, Iterable, Optionalimport numpy as np impo…

ffmpeg解封装rtsp并录制视频-(2)使用VLC模拟一个rtsp服务器并用ffmpeg解封装该rtsp流

VCL模拟服务器并打开播放该视频文件&#xff1a; - 准备好一个mp4文件&#xff0c;打开vlc软件 - 选择“媒体”》“流” - 添加一个mp4文件 - 点击下方按钮选择“串流” - 下一步目标选择rtsp 点击“添加” - 端口默认8554 - 路径设置 /test - 用…

XML Encoding = ‘GBK‘ after STRANS,中文乱码

最近帮同事处理了一个中信银行银企直连接口的一个问题,同事反馈,使用STRANS转换XML后,encoding始终是’utf-16’,就算指定了GBK也不行。尝试了很多办法始终不行,发到银行的数据中,中文始终是乱码。 Debug使用HTML视图看报文时也可以看到中文是乱码。 解决方案: 使用cl…

飞腾银河麒麟V10安装Todesk

下载安装包 下载地址 https://www.todesk.com/linux.html 安装 yum makecache yum install libappindicator-gtk3-devel.aarch64 rpm -ivh 下载的安装包文件后台启动 service todeskd start修改配置 编辑 /opt/todesk/config/config.ini 移除自动更新临时密码 passupda…

STM32CubeMX配置-RTC周期唤醒

一、简介 MCU为STM32G070&#xff0c;采用内部时钟32KHZ&#xff0c;配置为周期6s唤醒&#xff0c;调用回调函数&#xff0c;进行喂狗操作。 二、配置 初始时间、日期、周期唤醒时间配置。 开启周期唤醒中断 三、生成代码 调用回调函数&#xff0c;进行喂狗操作。 //RTC唤醒回…

STM32理论 —— μCOS-Ⅲ(2/2):时间管理、消息队列、信号量、任务内嵌信号量/队列、事件标志、软件定时器、内存管理

文章目录 9. 时间管理9.1 OSTimeDly()9.2 OSTimeDlyHMSM()9.3 OSTimeDlyResume()9.4 延时函数实验 10. 消息队列10.1 创建消息队列函数OSQCreate()10.2 发送消息到消息队列函数(写入队列)OSQPost()10.3 获取消息队列中的消息函数(读出队列)OSQPend()10.4 消息队列操作实验 11. …

绿色版DirectoryOpus功能强大且高度可定制的Windows文件管理器

Directory Opus&#xff08;通常简称为DOpus&#xff09;是一款功能强大且高度可定制的Windows文件管理器。它提供了许多超越Windows默认文件资源管理器&#xff08;Explorer&#xff09;的功能&#xff0c;使得文件和文件夹的管理变得更加高效和直观。以下是对Directory Opus的…

Hex-Rays IDA Pro V7安装教程 (交互式反汇编工具)

前言 DA Pro就像提供了一张二进制的地图&#xff0c;标注了系统函数以及分析人员注解的函数调用&#xff0c;同时展现出各级函数和代码块之间的调用关系。此外&#xff0c;IDA Pro的扩展性能很好&#xff0c;可以利用IDA Pro提供的API接口和IDC脚本来扩展应用&#xff0c;而且…

R语言 | 绘制带P值的差异柱状图

原文链接&#xff1a;R语言 | 绘制带P值的差异柱状图 本期教程 小杜的生信笔记&#xff0c;自2021年11月开始做的知识分享&#xff0c;主要内容是R语言绘图教程、转录组上游分析、转录组下游分析等内容。凡是在社群同学&#xff0c;可免费获得自2021年11月份至今全部教程&…

ElementPlus非表单组件ElUpload值更新后校验不消失问题

项目场景&#xff1a; el-form表单中有一个上传组件&#xff0c;有必填校验。 问题描述 先触发表单的必填校验(点击提交按钮)&#xff0c;然后再上传文件&#xff0c;必填校验的提示一直存在&#xff0c;如果再次点击提交&#xff0c;手动触发表单校验&#xff0c;必填校验消…

2. 机器学习概述

机器学习是对能通过经验自动改进的计算机算法的研究。 ---汤姆. 米切尔 1997 通俗来讲&#xff0c;机器学习就是让计算机从数据中进行自动学习&#xff0c;得到某种知识&#xff08;或规律&#xff09;。在早期的工程领域&#xff0c;机器学习也经常被称为模式识别&#xff08;…

Termius安装docker

安装Termius 直接上官网 新建主机 更新一下yum 更新完成 安装docker的包 设置阿里的yum 直接用命令安装 设置一下开机启动&#xff0c;可以查看docker的版本 拉去portainer的镜像发现报错 出现Get “https://registry-1.docker.io/v2/...“:net/http: TLS hand shake time o…