《Database System Concepts（数据库系统概念）》第六版——第五次作业（第四、六、七章）

JeekZhang

已于 2023-04-03 19:22:17 修改

阅读量183

点赞数 1

分类专栏：数据库系统概念文章标签：数据库服务器 linux

于 2023-04-03 19:03:01 首次发布

本文链接：https://blog.csdn.net/qq_50939442/article/details/129936803

版权

数据库系统概念专栏收录该内容

10 篇文章 2 订阅

订阅专栏

本文讨论了数据库中如何使用GRANT命令进行权限授予，强调了只有拥有权限的经理才能进行此操作。同时，展示了几个SQL查询示例，包括查找特定公司员工，对比不同公司薪资，以及通过部门过滤课程和学生。这些查询涉及了表连接、投影、选择和集合操作。

摘要由CSDN通过智能技术生成

4.17

经理本身拥有权限，可以在grant命令后附加with grant option命令允许其进行权限授予；而用户本身不拥有权限，故不能进行权限授予

6.2

a

$\Pi_{employee.person\_name}(\sigma_{employee.manager\_name=w.person\_name \wedge\ employee.street=w.street \wedge\ employee.city=w.city }((employee\bowtie manages) \times \rho_w($

$e m pl oyee)))$
b

$\Pi_{person\_name}(\sigma_{company\_name \neq "First\ Bank\ Corporation"}(works))$
c

$\Pi_{person\_name}(employee)-\Pi_{works.name}(\sigma_{w.company\_name="Small\ Bank\ Corporation"\ \wedge\ works.salary<w.salary}(works\times \rho_w(works)))$

6.4

a

$\Pi_{ID,couse\_id}(takes)\div \Pi_{course\_id}(\sigma_{dept\_name="Comp.Sci."}(course))$
b

$\Pi_{ID}(\sigma_{dept\_name="Comp.Sci"}(takes\bowtie course))$

6.5

a

{t| $\exists$ x $\in$ r(x[A]=t[A])}
b

{t|t $\in$ r $\wedge$ t[B]=17}
c

{t| $\exists$ x $\in$ r, y $\in$ s (x[A]=t[A] $\wedge$ x[B]=t[B] $\wedge$ x[C]=t[C] $\wedge$ y[D]=t[D] $\wedge$ y[E]=t[E] $\wedge$ y[F]=t[F])}
d

{t| $\exists$ x $\in$ r, y $\in$ s,(x[A]=t[A] $\wedge$ y[F]=t[F] $\wedge$ x[C]=y[D])}

6.6

a

{<a>| $\exists$ b,c(<a,b,c> $\in$ $r_1$ )}
b

{<a,b,c>|<a,b,c> $\in$ $r_1$ $\wedge$ b=17}
c

{<a,b,c>|<a,b,c> $\in$ $r_1$ $\vee$ <a,b,c> $\in$ $r_2$ }
d

{<a,b,c>|<a,b,c> $\in$ $r_1$ $\wedge$ <a,b,c> $\in$ $r_2$ }
e

{<a,b,c>|<a,b,c> $\in$ $r_1$ $\wedge$ <a,b,c> $\notin$ $r_2$ }
f

{<a,b,c>| $\exists$ x,y(<a,b,x> $\in$ $r_1$ $\wedge$ <y,b,c> $\in$ $r_2$ ) }

6.7

a

$\Pi_{A}(\sigma_{B=7}(r))$
b

r $\bowtie$ s
c

$\Pi_{A}(\sigma_{s.C=q.A \wedge r.b>q.b}((s\bowtie r)\times \rho_q(r)))$

6.11

a

$\Pi_{person\_name}(\sigma_{company\_name = "First\ Bank\ Corporation"}(works))$
b

$\Pi_{person\_name,city}(\sigma_{company\_name = "First\ Bank\ Corporation"}(works\bowtie employee))$
c

$\Pi_{person\_name,street,city}(\sigma_{company\_name = "First\ Bank\ Corporation" \wedge salary>10000}(works\bowtie employee))$
d

$\Pi_{person\_name}(\sigma_{works.company\_name=company.company\_name \wedge employee.city=company.city}((works\bowtie employee)\times company))$
e

$\Pi_{company\_name}(\sigma_{d.company\_name = "First\ Bank\ Corporation"\wedge company.city=d.city}(company \times \rho_d(company)))$

6.15

a

{t| $\exist$ s $\in$ works(t[person_name]=s[person_name] $\wedge$ s[company_name]=“First Bank Corporation”)}

{| $\exist$ c,s(<p,c,s> $\in$ works $\wedge$ c=“First Bank Corporation” )}
b

{t| $\exist$ p $\in$ employee, s $\in$ works(t[city]=p[city] $\wedge$ t[person_name]=p[person_name] $\wedge$ t[person_name]=s[person_name] $\wedge$ s[company_name]=“First Bank Corporation”)}

{<p,ci>| $\exist$ st,c,s(<p,st,ci> $\in$ employee $\wedge$ <p,c,s> $\in$ works $\wedge$ c=“First Bank Corporation” )}
c

{t|t $\in$ employee, $\exist$ s $\in$ works(t[person_name]=s[person_name] $\wedge$ s[company_name]=“First Bank Corporation” $\wedge$ s[salary]>10000)}

{<p,st,ci>| $\exist$ c,s(<p,st,ci> $\in$ employee $\wedge$ <p,c,s> $\in$ works $\wedge$ c=“First Bank Corporation” $\wedge$ s>10000)}
d

{t| $\exist$ x $\in$ employee, y $\in$ works, z $\in$ company (t[person_name]=x[person_name] $\wedge$ x[person_name]=y[person_name] $\wedge$ y[company_name]=z[company_name] $\wedge$ x[city]>z[city])}

{| $\exist$ st, ci1, c, s, ci2 ( <p,st,ci1> $\in$ employee $\wedge$ <p,c,s> $\in$ works $\wedge$ <c,ci2> $\in$ company $\wedge$ ci1=ci2)}
e

{t| $\exist$ x $\in$ employee, y $\in$ managers, z $\in$ employee (t[person_name]=x[person_name] $\wedge$ x[person_name]=y[person_name] $\wedge$ y[manager_name]=z[person_name] $\wedge$ x[street]>z[street] $\wedge$ x[city]>z[city])}

{| $\exist$ st1, ci1, m, st2,ci2 ( <p,st1,ci1> $\in$ employee $\wedge$ <p,m> $\in$ manager $\wedge$ <m,st2,ci2> $\in$ employee $\wedge$ ci1=ci2 $\wedge$ st1=st2)}
f

{t| $\exist$ s $\in$ works(t[person_name]=s[person_name] $\wedge$ s[company_name] $\neq$ “First Bank Corporation”)}

{| $\exist$ c,s(<p,c,s> $\in$ works $\wedge$ c $\neq$ “First Bank Corporation” )}
g

$\neg$ {t| $\exist$ s, w $\in$ works(s[person_name]=t[person_name] $\wedge$ w[company_name]=“Small Bank Corporation” $\wedge$ s.salary<w.salary)} $\wedge$ {t| $\exist$ s $\in$ employee(s[person_name]=t[person_name])}

$\neg$ {<p1>| $\exist$ s1, c1, p2, s2, c2 (<p1,c1,s1> $\in$ works $\wedge$ <p2,c2,s2> $\in$ works $\wedge$ s1<s2)} $\wedge$ {| $\exist$ s,c (<p,s,c> $\in$ employee)}
h

{t| $\exist$ x $\in$ company, y $\in$ company(t[company_name]=x[company_name] $\wedge$ x[city]=y[city] $\wedge$ y[company_name]=“Small Bank Corporation”)}

{<ci1>| $\exist$ c1,c2,ci2(<c1,ci1> $\in$ company $\wedge$ <c2,ci2> $\in$ company $\wedge$ c2=“Small Bank Corporation” $\wedge$ ci1=ci2)}