函数依赖 范式的概念 关系模式规范化的基本步骤 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
Turtlebot3编译提示arm-none-eabi-g++: no such file or directory
分类：
其他好文 时间：
2020-04-24 01:37:05
阅读次数：
139
? 一直以来对于ARM体系中所描述的RO，RW和ZI数据存在似是而非的理解，这段时间对其仔细了解了一番，发现了一些规律，理解了一些以前书本上有的但是不理解的东西，我想应该有不少人也有和我同样的困惑，因此将我的一些关于RO，RW和ZI的理解写出来，希望能对大家有所帮助。要了解RO，RW和ZI需要首先了 ...
分类：
其他好文 时间：
2020-04-23 21:01:06
阅读次数：
53
A bridge-domain can be associated with only one BVI. However a vrf can contain routes to multiple BVIs. To configure a BVI interface, create it using ...
分类：
其他好文 时间：
2020-04-23 19:28:06
阅读次数：
94
HAL库、标准外设库(STD)、LL库 ? 从学习51单片机转而进一步学习STM32的可能大都习惯了寄存器开发方式，STM32同样可以用操作寄存器的方式开发，但是STM32的数百个寄存器记起来十分困难，因此我们更多的使用固件库的形式开发。固件库就是函数的集合，固件库函数的作用是向下负责与寄存器直接打 ...
分类：
其他好文 时间：
2020-04-23 17:29:32
阅读次数：
155
Error: Flash Download failed - "Cortex-M3"
分类：
其他好文 时间：
2020-04-23 16:13:24
阅读次数：
53
1.sudo gedit /etc/apt/sources.list 源列表里面放置的一行行网址，在这个文件里加入或者注释（加#）掉一些源后，保存则源列表里指向的软件就会增加或减少一部分。 2. sudo apt-get update 这个命令，会访问源列表里的每个网址，并读取软件列表，然后保存在本 ...
分类：
系统相关 时间：
2020-04-23 12:04:10
阅读次数：
78
感觉这个没什么好说的： import os def rev(path: str, i=0): s = '+' * i + path.split('/')[-1] + '\n' for _ in os.listdir(path): if os.path.isdir(path + '/' + _): s ...
分类：
编程语言 时间：
2020-04-23 00:40:16
阅读次数：
139
本文惯例：本文假定你知道Jetbrains家的产品。不知道可以问问搜索引擎。 大家熟知Jetbrains的话应该知道：他们家的所有产品升级到2018.2.1及以上版本后，先前可用的注册服务器都失效了，无法激活升级到最新版本体验最新黑科技。 这次要送的这份礼就是：Jetbrains全系列产品2020. ...
分类：
Web程序 时间：
2020-04-23 00:34:36
阅读次数：
770
