Study Guide for Homework 1 - Advanced Data Management | CS 511, Assignments of Deductive Database Systems

Material Type: Assignment; Class: Advanced Data Management; Subject: Computer Science; University: University of Illinois - Urbana-Champaign; Term: Spring 2005;

Typology: Assignments

Pre 2010

Uploaded on 03/16/2009

koofers-user-tyv-1
koofers-user-tyv-1 🇺🇸

10 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
 !"$#%&(')*+$#,
-$.&/103254765898;:
<>= ?@
ACBED(FHG3IJ K L,MONQP3RS
T$UWV3V3XZY[Z\^]`_aVb5\dceV]fc3\`g
hji
UW[lkamn_aV;]fc3\]`opo*c3\qV3V\qorYtsuvUW[wkamn_H_a]`mH\qVqxWb"yaXl[l\c3Uzb"V{]fc3\]`oaoac3\qV3V\qorYts)|ace\qoaXlud]f}\qV9UW_H]f}}ceXlYpk*}\
~
]`[lk*\qVq
hQ
y*\^V3XZd\U`9uvUW[lkam_aVXlV*1\qoYtsV3uy*\qmn]`Vdxb"yaXl[l\&}3ya]f}"U`c3Uzb"V"ud]`_`c3UbU`c&V3y*cXl_*+
h
]`[wk*\qVXl_]uvUW[lkamn_]fc3\(U`E}3y*\(Ve]`mH\"}s|\HU`coaUWmn]`Xl_aVxb"yaXl[l\}3y*UWV\OXl_]c3Ub]fc3\(c3UWmoaXZ+\dc3\q_}
}s|\qVd
ACBED(FHG3IJ RMnPp¡¢£P¤¥R{¦5¢f§¨ ©
ª
"«(V3V3kpmH\Ob\Ob]`_¬}}Unk*|Eoa]f}\t®¯±°²
Ur]f|p|p[Zsn}3yaXwV5uya]`_*`\}UHU`ceXlWXl_a]`[}3]fYp[Z\qV5³5´t}U`c3\]`_aoµk*s`x1b5\
_a\d\qo}U1_*Uzb·¶1¯±¸W¹w°fºZ»f®¼&°^ce\qV3XloaXl_arXw_
i
ya]`mH|]`XZW_E½&Ub5\
~
\dcqx+}3y*\V3}U`c3\)_a]`mH\XlVka_at_*Uzb"_¾c3UWm
}3ya\
~
Xl\db¿À}XwV}3ykpV_*U`}ud[Z\q]fc(y*Ub}Uk*|Eoa]f}\}3y*\^]`uv}3ka]`[Yp]`V\^c3\q[w]f}3XZUW_aVd
Á
Â^ÃtÄ`5´*k*|a|UWV\Ob\ya]
~
\)]
~
XZ\dbmn]`Xl_}3]`Xl_aXl_*}3y*\^}U`}3]`[|pk*ceuya]`V\U`;\q]`ueyÅYpk*s`\dc"]`V"Y\q[ZUb^g
iÆ"Ç
«
Çj
À
Ç{ÈÉ
U`}3]`[Z³Ê|pk*ceuya]`V\)«´
´
ÇËÇ5i
Yk*s`\dc³_a]`mH\`xV3kamÅ|acXluv\z
Ì
ÆÍ^Î
µ5kas
Ï
ÆÍOÐ
TѵÒYpk*s`\dc³_p]`mH\
«(V3V3kpmH\UW_a\b]`_¬}3V;}UOk*|Eoa]f}\5}3y*\5}U`}3]`[1|pk*ceuya]`V\YtsÓfÔ`Ô19À±_]f|p|p[Zs1Xl_*}3yaXwVuya]`_*`\}UO}3y*\U`cXZWXl_a]`[
ce\q[l]f}3XZUW_µk*s`xpXl}XlV_*U`}"ud[Z\q]fc"b"yaXluy¾}3k*|p[Z\qVV3yaUWka[lo¾Y\ueya]`_*`\qoÅYsy*UzbÕmkaueyE
ACBED(FHG3IJ Ö R×MØÚÙÛÜ§Ý§Þ;ÜßÙ$¤àa
«(V)[ZUW_aÅ]`V)_*\qXlWy¬YU`ceXl_a¾_aUto*\qV)]`Xw[{]f})}3y*\V3]`mH\n}3Xlmn\`x$uya]`Xl_*\qoáo*\qud[lkaV}\dcXl_*V3kaV}3]`Xw_aV^oa]f}3]â]
~
]`Xl[ã³
]fYpXl[wXZ}s`
ya\dc3\däU`ce\`xXl_£}3y*\\qXZWy¬}±³_aUto*\\v1]`mH|[Z\`xXZ})ud]`_å}UW[Z\dce]f}\ka|å}UUWk*c^æ]`Xl[lk*c3\qVqrÌaU`cXl_}\dce[Z\q]
~
\qo
o*\qud[lkpV}\dceXl_**x*]f}"mnUWV}}b5U_aUto*\qVud]`_Å]`Xw[E]f}}3y*\)V3]`mn\}3XlmH\`xaUW_*\U`c\q]`uyâud[lkpV}\dcq
ACBED(FHG3IJ ç R5èMÛ¢Wpßféêaë"¤+ê>ØeÛ¤à*§PìÞ;¤
Ï
X
~
\q_])uvUW_fíka_puv}3X
~
\&îtk*\dc3sHb"Xl}3ynï\v1|\q_aV3X
~
\(V\q[Z\quv}3XZUW_uvUW_aoaXZ}3XlUW_aVdx¬ðñvòdºdºdºzò3ðaóxtV3ka|a|UWV\\q]`uey¾V\q[l\quv}3XZUW_
uvUW_aoaXl}3XZUW_ðaô;XlVXl_po*\d|\q_ao*\q_}U`;UW_*\^]`_*U`}3ya\dc&]`_aoXl}3VuvUWV}&]`_aoV3\q[Z\quv}3X
~
XZ}s]fc3\^õÚô9]`_aoÅöôce\qV|\quv}3X
~
\q[Zs`
ª
"÷Ok*\)}Un}3y*\)]f}}ceXlYpk*}\^Xl_aoa\d|+\q_po*\q_auv\]`V3V3kamn|a}3XZUW_Ex1}3y*\)]f``ce\dW]f}\V\q[l\quv}3X
~
Xl}s¾U`9]`[l[EV\q[Z\quv}3XZUW_ÅuvUW_1³
opXZ}3XZUW_aVXlV"ø
ó
ôZùñ
öô
i
UW_aV\qîtk*\q_}3[Zs`x*}3y*\)V3Xld\U`$UWka}|pk*}XlV\v1|\quv}\qo}UnY\ú$ø£ûü
ùý
Ä
ü
ª
pf2

Partial preview of the text

Download Study Guide for Homework 1 - Advanced Data Management | CS 511 and more Assignments Deductive Database Systems in PDF only on Docsity!

ACBED(FHG3IJ K L,MONQP3RS

T$UWV3V3XZY[Z^]_aVb5\dceV]fc3\g

hji UW[lkamn_aV;]fc3\]opo*c3\qV3V\qorYtsuvUW[wkamn_H_a]mH\qVqxWb"yaXl[l\c3Uzb"V{]fc3\]oaoac3\qV3V\qorYts)|ace\qoaXlud]f}\qV9UW_H]f}}ceXlYpk*}\ ~ ][lk*\qVq

hQ€ y^V3XZd\‚Uƒ9uvUW[lkam_aV„XlV *†1\qo‡YtsˆV3u‰y*\qmn]Vdxb"yaXl[l&}3ya]f}"UƒŠc3Uzb"V"ud]_Œ‹c3Ub^ Uc&V3yc‰Xl_*Ž+

h ][wk*\qVXl_]‘uvUW[lkamn_’]fc3\(UƒE}3y(Ve]mH\"}“s”|•\H–—UcoaUWmn]`Xl_aV‰˜‰x”b"yaXl[l\„}3yUWV\OXl_]c3Ub™]fc3(ƒ—c3UWmšoaXZ›+\dc3\q_”} }“s”|•\qVd

ACBED(FHG3IJ œ R‚ŠMnžP Ÿp¡¢£P“¤¥R{¦5¢f§”Ÿ¨ ©

ª "«(V3V3kpmH\Ob\Ob]_¬}„}Unk*|Eoa]f}\‚t®¯±°² (^) € Ur]f|p|p[Zsn}3yaXwV5u‰ya]‹\‚}UHUceXl‹WXl_a][}3]fYp[Z\qV5³5´t}Uc3\‚]_ao‡μk*sx1b5
a\d\qoŒ}UŽ1
Uzb·¶1¯±¸W¹w°fºZ»f®”¼&°^ce\qV3XloaXl_a‹rXw
(^) i ya]mH|]XZ‹W_E½&Ub5\ (^) ~\dcqx+}3y\V3}Uc3\)_a]mH\‘XlVka_aŽt_Uzb"¾ƒ—c3UWm }3ya\ (^) ~ Xl\db¿À“}XwV„}3y”kpV*U}ud[Z\q]fc(y*Ub}U’k*|Eoa]f}\‚}3y*\^]uv}3ka][ Yp]V^c3\q[w]f}3XZUW_aVd

ÁÂ^ÃtÄ5´*k*|a|•UWV\Ob\ya] (^) ~ \)] (^) ~XZ\db mn]Xl_”}3]Xl_aXl_*‹‘}3y*\^}U}3][ |pk*ceu‰ya]V\‚Uƒ;\q]ueyÅYpks\dc"]V"Y•\q[ZUb^g iÆ"Ç « €Çj ÀÇ{Èɀ U}3][Z³Ê|pkceu‰ya]V\)«‚´ ´ ÇˊÇ5i€ Yk*s\dc³ a]mH\xV3kamŖ—|ac‰Xluv\z˜ Ì Æ„Í^Î μ5kas Ï ÆÍOÐ TÑμÒYpk*s\dc³ _p]mH
«(V3V3kpmH\UW_a\b]_¬}3V;}UOk*|Eoa]f}\5}3y*\5}U}3][1|pk*ceu‰ya]V\YtsÓfÔÔ19À±_]f|p|p[Zs1Xl_*‹}3yaXwVŠu‰ya]
‹\}UO}3y*\Uc‰XZ‹WXl_a][ ce\q[l]f}3XZUW_Œμk*sxpXl}XlV„_U}"ud[Z\q]fc"b"yaXlu‰y¾}3k*|p[Z\qV„V3yaUWka[lo¾Y•\‚ueya]_‹`\qoÅY”s‡yUzbÕm‘kaueyE

ACBED(FHG3IJ Ö R„×MØÚÙŠÛ„Ü §Ý§”Þ;Ü ŸߔÙ$¤„àaŸ

«(V)[ZUW_a‹Å]V)_*\qXl‹Wy¬Y•UceXl_a‹¾aUto*\qV)ƒ—]Xw[{]f})}3y*\’V3]mH\n}3Xlmn`x$u‰ya]Xl_*\qoáo*\qud[lkaV}\dc‰Xl_*‹‡V3kaV}3]Xw_aV^oa]f}3]â] (^) ~]Xl[ã³ ]fYpXl[wXZ} s (^) € ya\dc3\dƒäUce\xŠXl£}3y\\qXZ‹Wy¬}±³ _aUto\\v†1]mH|[Z\x XZ})ud]_å}UW[Z\dce]f}\’ka|å}UŒƒ—UWk*c^ƒæ]Xl[lkc3\qVqrÌaUcXl_”}\dce[Z\q] (^) ~\qo o*\qud[lkpV}\dceXl_*‹*x*]f}"mnUWV}} b5U’_aUto*\qV„ud]ї]Xw[E]f}}3y*\)V3]mn\‚}3XlmH`xaUW\‚ƒ—Uc\q]u‰yâud[lkpV}\dcq

ACBED(FHG3IJ ç R5èM’Û„¢WŸpßféêŸaë"¤Ÿ+ê>Øeۄ¤„à*§”PìÞ;¤

Ï X~\q_ˆ])uvUW_fíka_puv}3X (^) ~ &îtk\dc3sHb"Xl}3ynïŒ\v†1|•\q_aV3X (^) ~ (V\q[Z\quv}3XZUW_ˆuvUW_aoaXZ}3XlUW_aVdx¬ðñvòdºdºdºzò3ðaóxtV3ka|a|•UWV\\q]uey¾V\q[l\quv}3XZUW_ uvUW_aoaXl}3XZUW_‡ðaô;XlVXl_po*\d|•\q_ao*\q_”}Uƒ;UW_^]_*U}3ya\dc&]_aoŒXl}3V„uvUWV}&]_ao‡V3\q[Z\quv}3X (^) ~ XZ} s‡]fc3^õÚô9]_aoÅöôŠce\qV|•\quv}3X (^) ~\q[Zs

ª"÷Ok)}Un}3y)]f}}ceXlYpk}^Xl_aoa\d|+\q_po\q_auv\‚]V3V3kamn|a}3XZUW_Ex1}3y*\)]f‹‹ce\d‹W]f}\‘V\q[l\quv}3X^ ~ Xl}^ s¾Uƒ9][l[EV\q[Z\quv}3XZUW_ÅuvUW_1³ opXZ}3XZUW_aV„XlV"ø ó (^) ôZùŠñ öô  i UW_aV\qîtk*\q_”}3[Zsx}3y)V3Xld\‚U`ƒ$UWka}|pk*}XlV\v†1|•\quv}\qoŒ}UnY•\‚ú$ø£ûü (^) ùŠý Äü

Á(´k|a|•UWV\b5\\ (^) ~][wka]f}\„V\q[Z\quv}3XZUW_ruvUW_aoaXl}3XZUW_aV$Xl_)}3ya\5Uc‰o*\dcŠUƒ+]_aorV\q[Z\quv}3XZUW_ruvUW_aopXZ}3XZUW_aV$]fc3\\ (^) ~]`[wka]f}\qo

Xw_â}3ya\‘Uc‰o*\dc‚Uƒð ñ  ºdºdº  ð ó  € y\ruvUWV}‚U`ƒ\v†1\qudk}3Xl_*‹‡}3ya\ ª V\q[Z\quv}3XZUW_ uvUW_aopXZ}3XZUW_£ð ñ XlV

}c‰X ~ Xw][9]V"ñ õñq’«"ƒ—}\dc)\ ~][lka]f}3Xl_a‹ŒðEñdxŠb5\n\ ~]`[lka]f}\ðr}UŒ}3yUWV\}3k|p[Z\qVO}3ya]f}‘V3]f}3XlV

p\qo ðEñqx

 x+öWñ  }3k|p[Z\qVd € y)uvUWV3}&ƒ—Uc"}3y*\ Áó^ V\q[Z\quv}3XZUW_âXlV„}3ytkaV   zöWñ õf„Tk*}}3Xl_a‹H}U‹`\d}3y\dcqx•}3y\

}U}3][ŠuvUWV}"U`ƒ$}3y)îtk\dc3s¾XlVúûü ùŠý ø

ü

"! ý

ù

%$ Ä# &^ ü('^ b&y\q_Œö)+^ ª 

, "«(V3V3kpmH\O}3ya]f}„ï- Á ]_aoˆ}3y*\‚U|a}3Xlm][Uc‰o\dcUƒ$V\q[l\quv}3XZUW_aV„XlV5\ ~][lka]f}3Xl_‹rðEñ]`_aoˆ}3y^ð²xb"yaXlu‰yb5\

oa\q_U}\"]V&–æðñqò3ð.˜‰ € U^|ac3U ~\Y”sHuvUW_”}ce]`oaXluv}3XlUW_Ex¬V3k|p|+UWV3\/10”ï 32 1ñ 4 ñ

10 ¬ï 32 : ñ

–=?>tº ª˜‰

«(V–æðEñdò3ð.˜XlVU|a}3Xwmn][ xzXl}3V uvUWV};V3yUWka[woOY+\V3mn][l[Z\dc }3ya]^}3ya]f}ŠUƒa])]`[Z}\dc‰_a]f}3X ~\Veuey\qoakp[lXl_*‹)–æðfò3ðEñ‰˜‰x

 x@ A 3õ ñ%B A eö ñ 3õ DC A 3õ 3B  eö  3õ ñ –=?>”º Á˜‰ Ç îp Á ud]_¾Y•\"c3\dbc‰XZ}}\q_’]V

ñ

^65

75 FE

ñ

(^) xtb"yaXwuey uvUW_”}ce]`oaXwuv}3V (^) Ç î ª 

Àìƒ sUWkŒ]fce\^Xl_¬}\dce\qV}\qo‡Xl_ˆ}3y*\‚|ac3UtUƒ UƒŠ}3yaXlV}3y*\dUce\qm ƒäUc]fceYpXZ}ce]fc3sï9xtsUWkÅud]`_‡c3\dƒ—\dc„}UH}3y\‚\v†t}\q_po\qo

~ \dceV3XlUW_âUƒ5T{c3Uƒì^½&\q[l[Z\dceV}\qXw_HG^ V&Tc3\qoaXlud]f}^ Î XZ‹ce]f}3XZUW_£|p]f|•\dcH–Ê´tÀ^ Ï ÎÝÍ ÷ ªI1I1,^ ˜‰^ € y*\‘|p]f|•\dcOXwV(]^ ~]Xw[l]fYp[Z\

]f}"y”}}|gKJ1J²udXZ}\qV\d\dc udV3]Xl[ mnXl}d \qoakJ ,Ó1LÓ ªy”}3mn[ 

ACBED(FHG3IJ M R5èMON"Ù §@PRQÛŸß`¦ Ù$¤„êTSfÞ;P“¤

€ y(‹WX^ ~\q_¾T^ Í ´ €VUOÐ(ÇË î”ka\dc3sHc3\d}3kce_pV}3y\OV}Uc3\qV„[lUtud]f}\qoˆUW_ˆ}3y*\OV3]mH\WaUtUc5]V5}3y\‚V3y*Ut&oa\d|p]fc3}3mH\q_”}dx

b"yaXwuey‡XlV„\qîtkaX ~ ]`[Z\q_”}}Un}3y^ƒ—UW[l[ZUzb"Xl_‹´ UOË í±UWXl_‡îtk*\dc3s+g

X1Y[Z@Y]\ ^`_badcef*gAh

i j.kml nh1oqpr_baHst.u

v@w Y jYba3cyxqz@{[{}|~.u cyxqz@{[{}| €@.u c‚e.fƒgAh`~R„m

*†n{[hH„

ACBED(FHG3IJ ‡ ˆŠ‰Å×MO‹ÛŒ(Ÿßå¨ي¤Ùd;Ÿ¨·Ÿ+¤9§

ª"Tc3\dƒ—\d}3ueyaXl_a‹XlV"oa\qV3XZce]fYp[l(b&y\q_‡b5\V3ud]_âV\qî”ka\q_¬}3Xl][w[Zsx Ž xp]îtk*\dc3s¾V3ud]a_pXl‹H}3y\b"yUW[Z\‚}3]fYp[l^}U

‹\d}&}3y*\^V3kam¥Uƒ$V3][w]fc3s

Á"Tc3\dƒ—\d}3ueyaXl_a‹)b"Xl[w[t_aU}Y•\"o*\qV3Xlce]fYp[Z\b"y*\q_’VUWmH\&UY1í±\quv}5_\d\qoaV}U)Y•"]uduv\qV3V\qo¾m‘ka[Z}3XZ|[Z\}3XlmH\qVXw_H}3y*\ ƒæk*}3k*ce\ÌUc(Xl_aV}3]auv`xXlŒ]n_\qV3}\qo1³ [ZUtU|rí±UWXw_Exab"y*\dce\^]ŒU`Y1í\quv}&Xl¾}3ya)Xl_a_\dc„ce\q[l]f}3XZUW_Œ_*\d\qopV}UY•\

]uduv\qVeV\qoâm‘ka[Z}3Xl|p[Z\O}3XlmH\qVXw_‡}3y*\^ƒæk*}3k*c3\xXZ}XlV„Y•\d}}\dc"Uf› }U’Ž\d\d|âXZ}"Xw_¾Ypk1›•\dcqxace]f}3y*\dc&}3ya]_tWpkpV3y‡XZ}

}U|ac3\dƒ—\d}3ueyÅ_a\v†t}U`Y*í±\quv}3Vd

Á