数据库的实施和维护 一、数据的载入和应用程序的调试 二、数据库的试运行 三、数据库的运行和维护 四、本章小结 参考 《数据系统概论(第五版)》 人民大学 王珊 ...
分类：
数据库 时间：
2020-05-14 17:39:48
阅读次数：
74
https://robotframework.org/ 是其官网。 Robot Framework是通用的开源自动化框架。它可以用于测试自动化和机器人过程自动化（RPA）。 机器人框架得到了积极的支持，许多行业领先的公司在其软件开发中都使用了它。 Robot Framework是开放且可扩展的，并且 ...
分类：
其他好文 时间：
2020-05-01 20:21:37
阅读次数：
53
配网自动化终端具有遥控、遥信，故障检测功能，并与配电自动化主站通信，提供配电系统运行情况和各种参数即监测控制所需信息，包括开关状态、电能参数、相间故障、接地故障以及故障时的参数,并执行配电主站下发的命令，对配电设备进行调节和控制，实现故障定位、故障隔离和非故障区域快速恢复供电功能。
分类：
其他好文 时间：
2020-04-29 23:56:21
阅读次数：
126
Google的论文， Google已经有一些大数据系统，都是基于Full Scan 这里PowerDrill，核心利用了skipping技术，可以提升10到100倍的查询性能 这篇论文的题目让人有点摸不着头脑，这里给出了解释， 整体的思路， 就是先skip，然后再full scan 那么就是，他这里 ...
分类：
其他好文 时间：
2020-04-26 12:30:23
阅读次数：
71
函数依赖 范式的概念 关系模式规范化的基本步骤 Armstrong公理系统 模式的分解 参考 《数据系统概论(第五版)》 人民大学 王珊 ...
分类：
数据库 时间：
2020-04-25 01:20:34
阅读次数：
81
数据依赖的公理系统 一、Armstrong公理系统 1.推理规则 2.性质 二、函数依赖闭包 1.函数依赖集F的闭包 例： 2.属性集X关于函数依赖集F的闭包 例 ： 3.闭包的引理 4.函数依赖集等价的概念 5.最小依赖集 例1 ： 例2 ： 例2 ： 参考 《数据系统概论(第五版)》 人民大学 ...
分类：
数据库 时间：
2020-04-24 21:49:57
阅读次数：
80
问题的提出 一、问题 什么是一个好的数据库逻辑设计，针对一个问题，应如何构造一个适合于它的数据模式，即应该构造几个关系，每个关系由哪些属性组成等 例 该关系模式中存在的问题： 二、数据依赖 1.定义 完整性约束的一种表现形式 数据依赖 2.主要类型 3.对模式的影响 三、关系模式的简化表示 1.关系 ...
分类：
数据库 时间：
2020-04-23 23:23:06
阅读次数：
89
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers Jia Hui Liang Vijay Ganesh Ed Zulkoski Atulan Zaman Krzysztof ...
分类：
其他好文 时间：
2020-04-13 09:15:50
阅读次数：
82
用户定义完整性 一、属性上的约束条件 1.属性上约束条件的定义 不允许取空值 ： 列值唯一 ： 用CHECK短语指定列值应该满足的条件 2.属性上约束条件的检查和违约处理 二、元组上的约束条件 1.元组上约束条件的定义 例 ： 2.元组上约束条件的检查和违约处理 参考 《数据系统概论(第五版)》 人 ...
分类：
数据库 时间：
2020-04-09 21:39:51
阅读次数：
177
实体完整性 一、实体完整性定义 例 二、实体完整性检查和违约处理 三、小结 参考 《数据系统概论(第五版)》 人民大学 王珊 ...
分类：
数据库 时间：
2020-04-09 20:23:27
阅读次数：
113
