Recently I re-install my fedora due to mis-erasing my disk partition table. After booting to the new system, I found F5 is not bound to refreshing the page. Finally I found this behavior can be al...

TL;DR To erase a reverse_iterator rit, use container.erase(std::next(rit).base());. Original Post To erase a reverse_iterator, say rit, you can’t directly call container’s erase on it. Because s...

Introduction Normalization is a process to strip redundancies in relations. Key 候选码：可以标识元组的最小属性集 主码：指定的某个候选码 码/超码：可以标识元组的属性集 Normal Form (NF, 范式) NF is of fu...

Possible problems in bad designs Data redundancy: 冗余数据。 Update anomaly: 更新时会涉及很多数据的更新，以防止数据不一致。 Insertion anomaly: TODO 插入时无法插入（？） Deletion anomaly: 删去时，将某些有用...

View A view is either a partial reference (i.e., not the whole table) to or a read-only view upon some table. Updatable view and read-only view If a view satisfy the following conditions, it’s u...

1.1 数据库基础 数据 数据是描述事物的符号记录。 数据库 数据库是长期存储在计算机内有组织，可共享的大量数据的集合。 数据库管理系统 数据库管理系统是数据管理软件；也是基础软件。 主要功能：数据的定义、组织、存储、管理、操纵，数据库的事务管理、运行管理、建立和维护，其他。 数据库系统 数据库系统由 数据库及其管理系统，管理员 应用系统 组成。 数据库系...

Terminologies 短语: 句型中某非终结符通过不少于一步推导得出的字串。 简单短语（直接短语）: 句型中某非终结符通过一步推导得出的字串。 句柄: 句型中第一个简单短语。 求短语 法一：定义法 法二：用语法树 对于所有子树，把所有叶结点连起来，即为简单短语。 An ...

关系的两个不变性：实体完整性和参照完整性。 符号定义 <CONSTRAINT> (完整性约束命名子句): NOT NULL, CHECK(<EXPR>) <PROPERTY>: <KEY> <TYPE> [CONSTRAINT <CONSTRAINT_NAME> <CONSTRAINT>] ...

Encryption refers to the process of transforming data into a form that is unreadable, unless the reverse process of decryption is applied. Encryption algorithms use an en- cryption key to perform e...

Terminologies 导空: \(X\) 可导空意味着 \(X \Rightarrow^* \varepsilon\)。 句型: a set of symbol string that can derive from start symbol. 句子: a set of terminal string that can derive from start sy...