原创力文档- 1、本文档共9页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
复习题（2）
试分别判断下列图中G1和G2是否互模拟(bisimulation)，并说明理由:
答案：
(1) 在图中标出各点的状态，我们构造关系
，
可知G2可以模拟G1，下面我们讨论
是否可模拟，在G2中有一个a变换可对应到G1中2个变换，即，。但有两个变换b，c，而在G1中仅存在只有b或只有c的状态点，可知G1和G2不能互模拟。
(2) 如图，标出各状态点，构造有关系
可知其中G1中的点均可由G2中的点模拟，下面我们考虑
可知同样其中G2中的点均可由G1中的点模拟. 所以G1和G2为互模拟的。
给定如下数据图(Data Graph)：
试给出其Strong DataGuide 图
答案：
Strong DataGuide 图
Consider the relation, r , shown in Figure 5.27. Give the result of the following query :
Figure 5.27
Query 1:
select building, room number, time_slo_ id, count(*)
from r
group by rollup (building, room number, time_slo_ id)
Query 1:
select building, room number, time_slo_ id, count(*)
from r
group by cube (building, room number, time_slo_ id)
答案：
Query 1
返回结果集：为以下四种分组统计结果集的并集且未去掉重复数据。
building room number time_slo_ id count(*) 产生的分组种数：4种；
第一种：group by A,B,C Garfield 359 A 1 Garfield 359 B 1 Saucon 651 A 1 Saucon 550 C 1 Painter 705 D 1 Painter 403 D 1 第二种：group by A,B Garfield 359 A 2 Garfield 359 B 2 Saucon 651 A 1 Saucon 550 C 1 Painter 705 D 1 Painter 403 D 1 第三种：group by A Garfield 359 A 2 Garfield 359 B 2 Saucon 651 A 2 Saucon 550 C 2 Painter 705 D 2 Painter 403 D 2 第四种：group by NULL。本没有group by NULL?的写法，在这里指是为了方便说明，而采用之。含义是：没有分组，也就是所有数据做一个统计。例如聚合函数是SUM的话，那就是对所有满足条件的数据进行求和。 Garfield A 6 Garfield 359 B 6 Saucon 651 A 6 Saucon 550 C 6 Painter 705 D 6 Painter 403 D 6
Query 2:
group by后带rollup子句与group by后带cube子句的唯一区别就是：
带cube子句的group by会产生更多的分组统计数据。cube后的列有多少种组合（注意组合是与顺序无关的）就会有多少种分组。
返回结果集：为以下八种分组统计结果集的并集且未去掉重复数据。
building room number time_slo_ id count(*) 产生的分组种数：8种
第一种：group by A,B,C Garfield 359 A 1 Garfield 359 B 1 Saucon 651 A 1 Saucon 550 C 1 Painter 705 D 1 Painter 403 D 1 第二种：group by A,B Garfield 359 A 2 Garfield 359 B 2 Saucon 651 A 1 Saucon 550 C 1 Painter 705 D 1 Painter 403 D 1 第三种：group by A,C Garfield 359 A 1 Garfield 359 B 1 Saucon 651 A 1 Saucon 550 C 1 Painter 705 D 2 Painter 403 D 2 第四种：group by B,C Garfield 359 A 2 Garfield 359 B 2 Saucon 651 A 1 Sa
文档评论（0）