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
因为这个关系的理论