随笔分类 -  数据库理论

摘要:学数据库这么久,这些概念还是很模糊,今天再提出来,希望不要忘记了 三级模式结构:外模式、模式和内模式 一、模式(Schema) 定义:也称逻辑模式,是数据库中全体数据的逻辑结构和特征的描述,是所有用户的公共数据视图。 理解: ① 一个数据库只有一个模式; ② 是数据库数据在逻辑级上的视图; ③ 数据 阅读全文
posted @ 2017-06-18 19:47 duskcloudxu 阅读(448) 评论(1) 推荐(1)
摘要:不想写博客啊不想写博客啊不想写博客 可恢复性调度(recoverable schedules),是指这个调度是可以回滚的——也就是说,在需要回滚的步骤之间不能存在任何的commit。 举例说明: 在这个例子中,T7读取T6的数据进行运算(这里讲一下我理解的读取过程:若内存中没有对应数据,则从硬盘中读 阅读全文
posted @ 2017-06-15 16:09 duskcloudxu 阅读(2248) 评论(0) 推荐(0)
摘要:Serializability —— 这个单词竟然不被接受啊……惊了,怕不是生造单词 serializability,中文翻译为可串行化,这让我感叹一下看来理工行业的先行者们的命名无能这个特性是不分国界的啊…… 或者说就是因为这种过于术语的命名规范才使得理工看起来很难理解吧。 回归重点,上个笔记我们 阅读全文
posted @ 2017-06-15 00:08 duskcloudxu 阅读(751) 评论(0) 推荐(0)
摘要:鉴于进度的缓慢和外文教科书对于读书人理解能力的极大关怀,我将忽略一部分不重要的定义…… 首先得声明的是,任务并行对于数据库的处理是有很大的好处的,有多大,就像土地有了金XX. 给出定义:schedule:对于一个交易集的各个详细指令的处理顺序被称为schedule,为了我的键盘寿命,我们姑且称它为日 阅读全文
posted @ 2017-06-14 21:43 duskcloudxu 阅读(709) 评论(0) 推荐(0)
摘要:本篇对于交易的原子性和持久性做一个详解。 交易有5个阶段, 活动(active) 部分递交(partially committed) 失败(failed) 弹出(aborted) 递交(committed) 一个中途失败的交易被称为弹出交易(aborted) 所有弹出交易必须被回滚 数据回滚的机制我 阅读全文
posted @ 2017-06-14 10:01 duskcloudxu 阅读(732) 评论(0) 推荐(0)
摘要:transaction Management 交易管理,准确的说应该是业务管理: 在数据库操作中,在看来用户看来是一步的操作,往往有很多步基础操作完成。 比如说转钱对顾客来说是一步操作,但是里面会包含后面提到的多个操作。 我们定义,一个合乎逻辑的操作集合被称为交易(transaction)。 交易具 阅读全文
posted @ 2017-06-12 23:54 duskcloudxu 阅读(1095) 评论(0) 推荐(0)
摘要:话说这本书也是够奇怪的,前面义正词严的讲了一个decomposition method of BCNF然后后面又说这个方法并不充分……嘛,开讲。 根据笔记10的内容,再拆分一个非BCNF的数据表的时候,我们有说过,发现函数依赖LA(a)->LA(b)不符合BCNF的时候,正确的做法是将LA(a),L 阅读全文
posted @ 2017-05-21 20:51 duskcloudxu 阅读(821) 评论(0) 推荐(0)
摘要:无损拆分,指的是把一张表R拆成R1和R2,那么R=natural join of (R1,R2)。 对于一个关系实例R和一个其所拥有的函数依赖集F+ ,R拆封出R1,R2为无损拆分当: R1与R2的并集->R1 or R1与R2的并集->R2 在F+ 中存在时 当然这里是可以用属性闭包的。 对于依赖 阅读全文
posted @ 2017-05-17 10:59 duskcloudxu 阅读(804) 评论(0) 推荐(0)
摘要:canonical cover:即函数依赖的最小覆盖,假设我们要在一个数据库里加上一条数据,那么我们得确定它不违背任意一条函数依赖,但是如果在函数依赖很多的情况下,那么这个检查就非常的costly.为了简化,我们得把目前的函数依赖变成一个简化的函数依赖,使得它满足其简化前和简化后的闭包相等,但是由于 阅读全文
posted @ 2017-05-15 10:38 duskcloudxu 阅读(4650) 评论(0) 推荐(0)
摘要:首先引入armstrong‘s axioms, 反射律(reflexivity rule)对于任何为LA(a)子集的LA(b)来说,LA(a)->LA(b)恒成立 增加律(argumentation rule)若LA(a)->LA(b)成立,则LA(a)LA(y)->LA(b)LA(y)成立 转移律 阅读全文
posted @ 2017-05-10 12:19 duskcloudxu 阅读(1373) 评论(0) 推荐(0)
摘要:上次笔记讲到了函数依赖 functional dependency, 那么现在讲的这个boyce-codd normal form and the third normal form is based on the concept of FD。 BCNF的条件: 对于一个关系中存在的任何一个函数依赖 阅读全文
posted @ 2017-05-08 11:42 duskcloudxu 阅读(648) 评论(0) 推荐(0)
摘要:先说明一点概念: 关系,在关系数据库里,更像是指代一张表。 基本概念1: 我们使用一个拉丁小写字符来表示属性集合。使用一个罗马小写字母后面跟着一个括号扩着的罗马大写字母来表示一个relation schema,罗马小写字母表示关系(即所在的表名),而大写字母表示目标表名里所有属性的集合。 上面我们提 阅读全文
posted @ 2017-04-27 01:18 duskcloudxu 阅读(506) 评论(0) 推荐(0)
摘要:实例的重复 在之前的ER模型ES和RS转换的时候,我们不难发现,当我们转化一个WES的时候,其每个要素都要加上它的DES的主键成为一个关系实例,但是这样一来,WES和其DES之间的RS就成为了一个累赘,因为里面包含的信息已经完全被WES生成的关系实例所包括了,所以在关系数据库中,WES和DES之间的 阅读全文
posted @ 2017-04-24 19:33 duskcloudxu 阅读(277) 评论(0) 推荐(0)
摘要:关于ER模型到relation模型里面的转换 先有两个基础,多值属性的变换和复合属性的变换 复合属性,和之前提到过的一样,是一个属性由多个属性组成,对于这样的属性的处理方法就是将其拆开以后放入其原来的entity里面,比如说(address(city,street,house),name,dept_ 阅读全文
posted @ 2017-04-24 16:45 duskcloudxu 阅读(564) 评论(0) 推荐(0)
摘要:weak entity set,要了解这个的概念我们就得回到之前的redundant,假设我们在esA和esB里都有同样的一个字段,而这个字段作为链接两个ES的线索本身不得不重复,同时我们已经有了一个链接ESA和ESB的RS,这样两个字段里的同一个字段没有必要,我们当然可以把RS给删掉,但是删掉以后 阅读全文
posted @ 2017-04-19 19:02 duskcloudxu 阅读(4175) 评论(0) 推荐(0)
摘要:因为懒得拍照所以图的话自己翻书,这边记几个标志的内容。 一个被分成两半的矩形:代表ES,上面记名字下面记属性,主键被画上下划线。 棱形:代表RS,一般用线链接两个及以上矩形 ES到RS的双划线:代表ES对于这个集合的participation状态是total participation. 用虚线链接 阅读全文
posted @ 2017-04-17 17:27 duskcloudxu 阅读(1573) 评论(0) 推荐(0)
摘要:一个ER模型必然需要对于其内容做出约束,接下来我们会从mapping cardinality 和participation constraints,keys讲起。 mapping cardinalities cardinality,字面意义是基数,尽管对于多元组来说mapping cardinali 阅读全文
posted @ 2017-04-17 16:55 duskcloudxu 阅读(2964) 评论(0) 推荐(0)
摘要:ER模型 全程 entity-relationship data model, 作为一种通用的模型,可以用来表述一个数据库的逻辑结构,构成一个ER模型的概念有三个:entity sets, relationship sets and attributes. 在介绍entity sets之前我们得先把 阅读全文
posted @ 2017-04-17 16:19 duskcloudxu 阅读(4395) 评论(0) 推荐(0)
摘要:E-R model, more precisely, entity-relationship model, 这个模型从概念上来说有两个功能,1,将该库里面的实体用各种方式分别出来(identify)(这里的实体据老师来说就是一堆属性的集合,即通过构成一个实体的属性来区别其本身的独一性),2, 将这些 阅读全文
posted @ 2017-04-17 08:20 duskcloudxu 阅读(470) 评论(0) 推荐(0)