Library of stultus

摘要： 不得不说ACM哪怕是没有结果，对于算法能力的训练是毋庸置疑的…… 因为老师划了重点，所以讲一下horspool的字符串匹配算法的原理吧。 先声明几个概念，被找的字符串称为匹配串，要找的字符串被称为模式串，当前和模式串相匹配的匹配串的子串被称为匹配子串（废话 在朴素算法中，我们要找一个匹配串是否存在模 阅读全文

摘要： 本篇对于交易的原子性和持久性做一个详解。 交易有5个阶段, 活动（active） 部分递交(partially committed) 失败(failed) 弹出(aborted) 递交(committed) 一个中途失败的交易被称为弹出交易（aborted） 所有弹出交易必须被回滚 数据回滚的机制我 阅读全文

摘要： 不用说这两位都是冷门算法……毕竟O(n^3)的时间复杂度算法在算法竞赛里基本算是被淘汰了……而且也没有在这个算法上继续衍生出其他的算法… 话说学离散的时候曾经有个把warshall算法简化到1/2时间的想法……不过懒得去翻了，现在想想本来这两个不用矩阵而用位运算的话速度不知道比我那个方法快多少倍…… 阅读全文

摘要： transaction Management 交易管理，准确的说应该是业务管理： 在数据库操作中，在看来用户看来是一步的操作，往往有很多步基础操作完成。 比如说转钱对顾客来说是一步操作，但是里面会包含后面提到的多个操作。 我们定义，一个合乎逻辑的操作集合被称为交易（transaction)。 交易具 阅读全文

摘要： 平衡二叉树是久闻大名了，但是因为其操作的繁琐以及存在更好的替代品所以没怎么接触（事实上是退队了以后就没怎么刷题 正巧这次期末考试就要考这个，那正好详细梳理一下知识： 平衡二叉树，其并没有字面上的那么平衡，其平衡程度能容忍任意节点的左子树高度与右子树高度的差之绝对值不超过1，为了理解方便，我们设定每个 阅读全文

摘要： 话说这本书也是够奇怪的，前面义正词严的讲了一个decomposition method of BCNF然后后面又说这个方法并不充分……嘛，开讲。 根据笔记10的内容，再拆分一个非BCNF的数据表的时候，我们有说过，发现函数依赖LA(a)->LA(b)不符合BCNF的时候，正确的做法是将LA(a)，L 阅读全文

摘要： 嘛，为了应付学校那个傻逼的不行的创新课，就打算用虚拟机看视频，然后问题就来了，首先得有个虚拟机； 当然是用vmware啦（当然是选择原谅 然而下了VM12的版本并跑不起来，大概是450的错吧（叹 然后就下了个10，嘛，反正能用就行啦（ 然后问题就来了，哪里下镜像呢？MS官网上都没怎么找到，于是网上搜 阅读全文

摘要： 无损拆分，指的是把一张表R拆成R1和R2，那么R=natural join of (R1,R2)。 对于一个关系实例R和一个其所拥有的函数依赖集F+ ，R拆封出R1,R2为无损拆分当： R1与R2的并集->R1 or R1与R2的并集->R2 在F+ 中存在时 当然这里是可以用属性闭包的。 对于依赖 阅读全文

摘要： canonical cover:即函数依赖的最小覆盖，假设我们要在一个数据库里加上一条数据，那么我们得确定它不违背任意一条函数依赖，但是如果在函数依赖很多的情况下，那么这个检查就非常的costly.为了简化，我们得把目前的函数依赖变成一个简化的函数依赖，使得它满足其简化前和简化后的闭包相等，但是由于 阅读全文

摘要： 首先引入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)成立 转移律 阅读全文