1
00:00:01,650 --> 00:00:04,950
如果说，A乘B=B乘A的话
2
00:00:06,350 --> 00:00:07,140
意味着什么
3
00:00:07,560 --> 00:00:08,420
A就等于B了
4
00:00:09,500 --> 00:00:10,680
只有两个相等
5
00:00:10,690 --> 00:00:13,360
它们的笛卡尔积反过来才会相等
6
00:00:15,540 --> 00:00:18,170
同样，就是A乘B的基数
7
00:00:18,630 --> 00:00:20,460
等于A的基数乘以B的基数
8
00:00:20,470 --> 00:00:27,040
你看，这3个，2个，6个，A乘空集
9
00:00:28,280 --> 00:00:29,800
A和空集的笛卡尔积
10
00:00:30,890 --> 00:00:37,950
就是空集，空集跟A的笛卡尔积也是一样的
11
00:00:37,960 --> 00:00:38,710
也是空集
12
00:00:41,610 --> 00:00:48,880
那么这是集合的一些概念
13
00:00:48,890 --> 00:00:51,410
练习题，我们也同样做一道就行了
14
00:00:52,930 --> 00:00:54,810
这道题把我们前面的概念
15
00:00:54,820 --> 00:00:57,470
给过一下就可以了
16
00:00:58,540 --> 00:01:02,330
假设S等于1，2，3
17
00:01:02,340 --> 00:01:04,050
还有一个12，还有13
18
00:01:04,890 --> 00:01:06,530
有这么5个元素
19
00:01:06,540 --> 00:01:07,930
有的是1个整数
20
00:01:07,940 --> 00:01:09,410
有的是1个集合
21
00:01:10,660 --> 00:01:11,970
以下表达式为真的
22
00:01:11,980 --> 00:01:18,130
有哪些表达式为真
23
00:01:18,700 --> 00:01:21,210
大家有空可以做一下
1
00:00:02,080 --> 00:00:05,950
接下来，下一个要回顾的基础知识
2
00:00:06,160 --> 00:00:08,930
就是关系代数的知识
3
00:00:10,760 --> 00:00:14,850
实际上类建模还有面向对象等等
4
00:00:16,140 --> 00:00:19,000
它本身并没有太多
5
00:00:19,010 --> 00:00:24,690
自己的理论体系和数学体系
6
00:00:24,860 --> 00:00:26,850
它一部分的体系
7
00:00:27,930 --> 00:00:30,660
特别是类建模的部分
8
00:00:30,670 --> 00:00:36,190
它就是从之前的关系代数、关系数据库
9
00:00:36,200 --> 00:00:37,750
过来的，只不过就是说
10
00:00:38,400 --> 00:00:40,820
你得到关于数据库
11
00:00:40,830 --> 00:00:42,220
你得到表
12
00:00:43,000 --> 00:00:45,370
那么类
13
00:00:45,460 --> 00:00:48,280
就是表上把这个行为加上
14
00:00:50,470 --> 00:00:53,100
多了一个行为，行为结合到里面去
15
00:00:54,700 --> 00:00:56,890
那什么是一个合格的表
16
00:00:56,980 --> 00:00:58,090
什么是合格的类
17
00:00:58,560 --> 00:01:02,440
这里面建模的思想实际上是一样的
18
00:01:10,410 --> 00:01:18,370
那么关系这个理论，公认的说
19
00:01:18,380 --> 00:01:23,070
来自Codd这个科学家
20
00:01:24,640 --> 00:01:27,960
被传得最多，就是这个论文
21
00:01:28,130 --> 00:01:30,720
是1970年这个论文
22
00:01:31,520 --> 00:01:34,020
但实际上这个还不是最早的
23
00:01:35,070 --> 00:01:37,420
因为这是公开发表的论文
24
00:01:37,430 --> 00:01:39,180
但是他在IBM内部
25
00:01:39,810 --> 00:01:41,880
1969年还有一个论文
26
00:01:43,010 --> 00:01:44,340
内容是差不多的
27
00:01:45,840 --> 00:01:47,190
内部的更早一点
28
00:01:49,040 --> 00:01:50,950
这里面可以看到
29
00:01:50,960 --> 00:01:54,770
large data
30
00:01:54,780 --> 00:01:57,380
大数据
31
00:01:58,710 --> 00:02:01,140
现在也造了一个词叫big data
32
00:02:01,880 --> 00:02:03,340
大数据，一样的
33
00:02:06,730 --> 00:02:10,240
也就是说，这个大数据不是现在才有
34
00:02:10,250 --> 00:02:11,680
以前也有说的
35
00:02:11,690 --> 00:02:15,490
你看人家论文这里就是大数据
36
00:02:18,410 --> 00:02:20,680
我在《软件方法》里面也说伪创新
37
00:02:20,690 --> 00:02:25,220
造词，把它换个词
38
00:02:29,060 --> 00:02:31,630
那么这也是Codd
39
00:02:31,640 --> 00:02:34,110
后来就得了图灵奖
40
00:02:34,400 --> 00:02:36,070
因为这个关系的理论
