From 5de6b376aefe7541019a340c511d891f552b5b6e Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sat, 15 Aug 2026 15:52:18 +0200 Subject: [PATCH] [DMDB] Fix error on CS history --- .../dmdb/data-modelling-databases-summary.pdf | Bin 1388517 -> 1388532 bytes .../03_concurrency-control.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/semester4/dmdb/data-modelling-databases-summary.pdf b/semester4/dmdb/data-modelling-databases-summary.pdf index a0e614a27b86df6f3f32bb9474351405dca3cfe2..f89a4601568cfb195356a911de830cc5b2eaf31e 100644 GIT binary patch delta 8032 zcmai&WmMEb*T9!CjASM0s zJnxtH+xy`+ckVs+&Y64W+&gn-XU*_@%@7JhfuX|CVCXOm7$yu0h7HFF*FX`==%vKr z2Ht9>=1P!!o3BSWM#KpU2cdc|Htucs_R~r&i%-!);;QU3!u=Fl+V9z!pyKAg?R~B! zM7Cs%O?*G?YLl{IYp}NDFCj%a3fGk-YKF=0 ze}}d zI7~*=1Jr~lKJ)6H#brZxYpLy|y*bcmQP2~jq*6{NCAYe03%olDaP^Nz>~+P&?L#Sf zaLKxLQP~$BEt5QCJb{hiKzJv7*!uCj$(jw)2aYwse4bmVT=2^PRf>Md8d-fKYSmOL zlv}quwdA}oq-O{cM=mm+iQ$C-!{X~a(9T=WI82&@@!w9MMl5oVxFZ4hJLqYmRGU?=7Pr& z%IJcij;f)9b6aZqxJ6=u;~sDM!TNXks(CD+gY(FNZ0EAdUvq>&uf~SghV@~r8eUT=`ArsUVUyd4A`uqN|aGe}R8BU>V9wPp_3w6X%&_dAj)9 zsOFFIV39bcq0NX8>WpNok!TvqGk!w~a%~$6sq$;XFU-*X`%39Lo*`rlo23@YL5YCz zZ{8e%%W2;q9uDdNzf)D@$T3@6Yq`jhH-5?d+d2~N(!1Sbg&QSlVnHj2Gxl=N@lc1) zpkmAwMw%*wR&W5((5TVtk?9t7LVh{;b4@JK$ZyC-7Jqi~m_ zKL^Fq53+Z|Lnw|UbL56{KTpj-p1(9k@0v0Oer8;c{xx?3xCZltxI4?_rH}MFn-{B! zzIJE2QmIX|}fmxOglgGu)esRwPMDwKmbT{2W%ienlZAfr8(e~ocfLTQ404Y(!$VCKo8gXZQL`w68+rOWm{*tklUX!pB&r3w zK=FkK)Axlfq8=%!+>^2I-|tQBUdesZHrqs+2?tlZmP!aU4s?S{Y2SGIQK=A2RG=m^ z>xFe0z39_>kvqAw9yVawHl9>>#-?y0BPlsE`|q1G&G)mGN4HgD#gwM=()+&w*sT-W zb5`{z3udC?p|Ee)v2t))rn4VJ&L_C!LnJ;iD_(i$H^M8UnlWl{2ZVC zyFhCD2u0nJ%1As59t-VoB?W2onoOk+sb60dEVJcQGE6r4y=h_d8LA7YbDa_}3os9? zxovKL8QBo!J@+rK*yPKxn@hN_=STgF`}oH28JUmDzj8Ia-`?9PWsM%4oZDk&s(k{k zOPfC4Trv!$-634v!t0$#Z{BX4vaWo_PK~n#Ve0KaQ)LzF&c!Z;U_xd63?iM2N}y-# zaOMXMjlVmQ7uhy4Q(RNc?GC2Z;~mewW;5}To+)|Je@Qp?~kt{ccSeKJLQhbZ#*vfUTMtwFBxl)cS+A{ zCv$IPw6F!3Gd{l|)yM`cF;anHEyhH% z)jVT6oVH~_0&DJHU9y#QVluR?h+`V3{AIRILqxWkKeB#VXI14mU{?1LU3lDP<{(`d zP-Kr`8D+01Ubau!GS(VSB+b#wg$al0HReuu_~{cA9|&h*YEdSz+rGgAeyEOPYUp6c zDY+$`sD3Cj=P9xE9vR2QiEp!d$DBny>rs|pI)PJSJ*Mz13boHEWyvX1-#`h+JL~WQ z{X)gnhD#DR>@ySA%a0>C53j}-&_WdcZJ{4CYhXr~_9N4w;xS7kS#-3EyX*X6HvM<( zv#Y#>Ia94+_?436ng(@8fObGjN;~hHp+d=ebhU}#6VjKC-nKgK-iMiAy22tpFYhv{ z;~-w4JCL}{fV`vbivmO`&t8SaS@XYH#~Y^%$Z!TLRjE4<_4zZwB^kq8C8G>oNnd;T zoP1#=)tD*q5X%X7dhVWBmub*gPA>HEkV=AaU05acQ5ORH6uv@FzW z+Oy%{cC(rE!YaDWTR=gE#hQY$yj+0e>UafINAQ8=GovNq}1ag;Y_A4^rrng#i zP@7)2*@sIt-r&FRTO_U$SA0)x*4!oor8-d^;g>dCz?;_*v;*9!8}WGAf|W-=hh;<= z0UCcIN^+`^@(p>m5SE<#Rm~tvb)>mr3gfnpwrFf)f-?!cMdoIYa6T)d9vMQ$JRfJd2{X( z=moZDx1qZK1t7Ewre4(Hiv^1SzxeM@?+S>#mu7RW(L2p*cH?K;D_tnG%BFVr#^Re( zudk&_+uGN5>(?gfd0%wcG~@AJq*KHzTO4Tq%FDC*=(_^>cN;%I5>H>xlah6nb%~j& zmBepeyZCRuE#5zMKVs+S@9VcS#O69cmRy#cOroo$JD&YWKbj_B&GMvBmg|G+n;IOUJVU-+uY@4v^%N3V(+;J|u2f?{j8gzv=PYnAOR_*i&qzq)l-+ z_zrmW%Nj^)CoL}X zqCc#iFh`Zy#Ne7Y*dTO+#07`9M8vdThOvdss@(LrTo+N|9lSa?e?Gf@v}Dd8v8Ak0 zE@B-kcjmvb?=XIs)MBBjns`b>ef0fM%of<@EJ#Jl;r?NwKC1Q=r;c9NUMl+%H7D1= zZah&+#H+meUg{UBH`_Ms@sFGEhYl-wb1p0k2A_Ez&=A}kp|Uddd29)Ng@Q6(sKI{O z)0@LME%cXJ7HR8hY=Y?b?GFF0@%0;-FNOHu#^&P`Xu3L09if6fr0SiXVX9x`JH3Ih zx#!L=0z*k4EGMeT2_EJBu{f71B`-`F4zZ?EOq!<0V+uSEzDk-sfZy>RAA8f01>e#I z*`R+4zlE+k^>=oH!!=dqIFGh`nhK7UE7u!ORzn2M^3u(+gz zxVVa-q^g*xq==HTikP^BxR9tEqs;&7VumZAW#{JL17Q@A6cPRJWyzKm=tAp2J-GMo z&tj)@{T~(`7v0S)*2FxC*3=J43yrD&;*u6(w&fqilMaYX*;}GgorbBAsVlf28yGZh6PJ zS4NE68|cAMRhze>M!;axD4z{^nSt>X7kE&(0Lf`nGv1+Umu~lZP5l*`lfrj8n@_&K zW?X2*NWT>cW<=FGW`=561=6&ZS{?J@@=Tw2(4-S_j+Yk$PKJU;18rb#8lFeF1n!xL zq!ZVd3UA_EX6fWAMvd(zP1$9gV;j(`kh@5J(mALJ90RV>2T189wZ^o{FMw!}bBJA> z9C?vN0=Q%!MFWv5-4Tfu&q9(PscZTP2%@y4ki+DHMF;7G%)rDXGM(O&FOqFAA!3ab zb69<#@kR-LA5R1&!j0nn!cI7UDOSIf)(yb-DHbi#es&4nf>*4L zH`uQk@gTL3Y{S_upd7BTeCMeWD&{ zN7&i=orGeD#A07!x9}VY2f~n|t%t&dVUf7c)#JG~1! zXBkOUF|q)~&rX?FH^yv&XwYBK?#W9o^1&luRTtzxEI5$lUI?CHP|CN1Y0 z!=y0bV|ts=iNMcxD~OBfL<&P@VTOP~2yHF2tg@J7%N$G&kTboey(+ByCwk-~F9S7- zHexLa-kgCrVV8cGjF*LnLIM>##OM_bBJ?EW@a$#5jMl(rZ&pE7KQ>?e&MRRV)gMnYFq*Ni7G zO2lL_lHn;^3)N1jU(S;y18I-^Rhwy_R9|GKy2M=abITc`2|2fWT3{ZTj&viLK0GCW zi-Los%6@JUz~4ch!*15u7sav(kt%Hnx8fDXA4D48U91s4fh*(uCIpMVeLl?NZ>H_t zk6ZqIPA4(~kod!&kCZx9|8rio5FVJMUZQ=m8Cwk~5FP<}gN+BZ*Cj0EBQ-+JmX!=| zRW?Qi2YZnn30o0-{+T)hiHG?4m6RkRcyxWf&mT| zP7>1$03i-zNko+v2qBl-xQpOIf+xwn2t1Y0Q=~Y89f$5o{)SNE5TRwu{*>>O4Gt0$g8%e3r*O?ZLI0&PR+z^kgL8uzMGj)$_JT|>7CAS#ddPxbLmY6X zKxGR&g->OKdNW+D`kb9i6=7(q1ncPGG{MT&naL zGHxEa1~oGA_t5=3o+?8|<@vU*YBxMu%f!>RUfvzO3eXNC z5qHAuC1(7qFz*Y6kFVJDnD%jsybN6{sAv@EE26R+SY#BwE}4EtuTmhW!0`S2pB9Ti z&sM-&z%uE5?*W2``5{nTJf6{_=E-0E4*$N6ErHts^avpcf_gkXP|w3tKNFotpm^Zs zVmd&vFnga-VY00AQeoJv(^6rPTHl>!B6iI{(@Q;{?s~Z!hc&5 zEQ5YqqPc|UtWzwYF3DdnpmeVD4YE9$!TQwD=|Y4pme}oH>RzL7O|_zVyE+p zZJid$al;qAk|5s0?ExgH2puqL!rxhr7;6%AfQTye+^OxL03DM671R6PUJr>o9^Ams zu#i{7?-VL(+|WLarZ2wXeC<+yd3!jVBK%@}AdZ83N8a zp4Ym&i(i>9t+b(T7 zEv9S3MBSZ#hKT^qx<_c&9>lMb9l+6Jdng)t_$O%wrTNQ6!{B~Uk0Plb+TqkR_4{9_HjQ(>!l255n*aI?JN_k z9P=L1sxE}G8!DB+85T37ri@w4pSlFJO)~BgXC)5%D5tPA(VSAns<|pVv2+z2i?oMf z`O+kPjQN43YLY}H++LTV$3;#JkRdiPa1!9Q3Yf*z25#ov`+=W*<5iAhu4453`<0lc zQTv;?>K*5M-)OgcuL_eZ9Z>-O2spjMB+HJeCRTM>$Qp6plfozMk`>pornV$XE^z4N zLz$kgljx^4Ad}Qy!$SqF_ZX8WJTaoN*M4|Ow4aQM=zx9*W=pP}$^q{FW)dQC!_v{6 zp!ot{U%}Y=*b#&@S`WLrzEOAY@sh{fG5%g+L20`Pwtogr`AKU%9J~KsR+4AWqx8Mv zT)$YB#q?M@#u3C1(t4n?n07RFyJGEubl!u4kMdD7ov!eEG&&bGV9ULKSK%2>de-eZ8mcWbs zu^G^;22l+_VVJCv72s=1`XA-n!abK5KNRGR(6CD0-rw)}0N8H{hV6Qi@Q3Z>`O%sf z)}<8h!TQgW7onz@(P2h9rm2tf48B}^U!E)uxB2`k+^Dr>$%~(d$VO>=1osKyAw?G? ze96hZ@|w@LS*U~}(}#Qn1M%SB6jo8a$dZ#Rr^!05d}54v>_PiDa8M)Ru2$hAgA~jK z!Ifz#AHH;kk^Og^nDr!j40}lMNQkV!)jm>~MKP)4A@Bx~88Vf0%fF+E&Nf zCTP#L@AeVO?+e7VxBsfYWp>xiVGp{^poWMHy!?Y~-{$-HsZMxcgWA#S+*dxo3uU-6 zbyoQycUNn>Ro$HVF}R1U{CEb#wtc6ZD@>U`8_W*;?Jr@Lw2!OS-Cw7dUnL>=gn0TW z$xN<=8M5A&eUYt;*dK(cYC*bTS{yYdY_>0$3UO-FlhbUM$<}W0@>KWOYE;=uqzms! z^mCF2Vf0#RUWzkpHS}z@Ja54R{<3v=h{6$EgYsLph!MU9r#OZM1d}uLy(T z1AMal@qHrbJ#Zlk#S9W<2cj19(!Joyyg)z{yS**B>I`n;iJ6OmR+e^MKZ!`e(3D%n zrxGpA#ySt1qYtpUgwyoAOD-1$J!l4bJ@C#3{=Ka^4e+{V9ZgLt5M{fK=t!&imYsM( zt9zVxMWUOZH}9ycW9B}cy&!6E@KCp^8|gLkZ$HVgzsh1bH!6tS!CHx*LAbN9%m8Sc zDpDVQ6UF-p7UDjPs;-8rh_!yDWG}Og6&aLgwWw4k`y-xbhF1o(vGN5g$BWX$| zY4RdTiA+{0N*;%4`3>7f2bs}n;e@AOM`YIJ$8Qct7fN6wE8A8m9o6F9-_e5z# zXJ`GvG$OMOay3XvgZoG&nuMGK;7xZe5>`p=jQsVrGSEk%7_V$s;L6Dd`Gc_Q!8Nt) zGLOg+YV2DGvboPFnd-~MT{l&D0_eHQ$1T+a1yq8#@E01s4Ol?1qo4Rm+v-}&p& zYvH+@IL=I)lsj_!IG0;d0}wP_X}`tmc1-wVApy~m2PDZbr)Uv-dNS!!sb#)!g5c=y zGUg)LEI+3-ZL3{2&GnVJTk}V&W^bzuluPI#EhpCD%Fn6t=%R`7x%hD%DhQ%S u^SQPVpI?0_03MBBHo#Y%02{xc>t!k|rSl delta 8040 zcmaiYWmFVS)c%r7Nh4j-A|SAIv#`WcQX-9jF1SldE4#=d9ZH9=ut>K^cM1qBDIiEH z64IS7zxTXf{-6FIo;!D*bMM@ld*;r}nWIJ1-;1UwG#(lsO@Jmu6QPOGKr~4$={sF~ zDXB!yd?DmBsQ0`yZQE$&l1p@ngu{xCL}Bcw@YNDF)9K-XkQEPJel}wcuQjvaw@qUJ zQm+?I!d73y^-CTlPQZ=`{@yg<6^z*=K~&s+&BJYPF?yy|T_ki1+YihhCuRr=(+f+m zFTknp^H|d6QGWF&W?j?tpA08bA1e~m8gI-Wt#|>KJMD0>aOG{O z9}6Eo=J)xPPhJ@n;cX5RQLnFc$Y6AO(wFqL%P?A*KdaE?s&2Prb=k;oif-nW1aC}u zTQ4V)|AudB<7fSzO8-FV6cmf@?h?{uaoc%iA(p$^+y>tt?zxT=G%M<%(I&m=NLJse zE?o4HVWTpb)>gmwz2RLefO+a~!;Q(){_2h9kl;j7do*Hy6C!YCqnGyFd-Uj(5 z7uBW>w}lO(V}09w^LI4@o>JAW{%y7KI%q>O+l~dN5`=vV{bZ~neeDU$fx)TxLpB4q z{KGGBOP0%*YgC70HF3$4s!7j_-bC56B4f5~-Qcw_5=P!t5=oky{l5TgCFhRsZH4X# z$}d7XODJ21gVbNwM%7=R*8@V93{DEmSDYx0S#rrIOvm^4&oDd`P-j3$3@@2ENg}Ji z_I%F|EO34wISG>@rxKdRPx|d*`-BzOB9#b#xdTV>pfCeQS~b7qUbdu8c+s13fY zoz={I)!bIfKoqqoKuY&lWrl~%aKY}(_Mc0t`LpdDTk||VXk+BZm~P^A!7+i0EL2>7 zHFe-rd%m^LJ!0D5lDx{R(UW#6p+-n6UBb^lz63@3i0o6^YVFuDiZoc)@_RRAvy3h=fE8Dgg3hxcpa(-XM3-S{gnChzOA@(OOdlLTAAxf^$&(w?q{4WJQI?TL@RYT zNYY?(Kj#cnN`jK{C{Ps_)yj%A-QZc-yk2(yxNm3Yx=xz{br*M6+RrEB@<0)kj8YtBg=gVoB?R)r+(+3 zqj_473Ot{hN{cN;JJFLlpGl+#l$TNJc+lz8IN{%H*9ktshI7hRlF;Y2hM8K?__A%gxs{t_Xj{1fLyF$4>NC-I90N}@s1#CA-!*h z7C2hc{J9s2oS^6f=P(b5cb#&Ci)?tO_}Yd>W7MUV)!7RVRGHZ64kFAAMz_S7?mYJV zkc>s}eqsnHsRop6+ou0upe3?1 zrz6H7G#n@U2$}aFgnEiHc4&Z`Y1KXGCE5f$OHLpG;(98MeE|x8h(FD*=opr?c3Y1I zzHS10FlStY6|g!Sn8=!ko|vY}(nTeb^Pg>fA&l%F3V!K}mXXTRFlc2QoPaIt9@PXK zStX%2p;cQ!OVCfb?`bXfDp4R9+><}i(*8c4_SH>0vRAr=E%}`6r|b}~Q&$WEzrkJ& zA5JbvR~KLzfuPIjmlpf!_|vK5madL@W=u?#wfgLpjcf7dH3fY0bBFZCm6!*D?5AWE ze@yED$-SJhQWrc3pjH$V)@MP8>OXk>Dn=nO1Mp=puE;l3A+X6C8;RKbYB)6ZLh*yc zzkQ%3l5UZG58BmzZS4F^$qZq#{KVR`=`+8Ofu6d5inHF*Ls81qqFi=@?_{R-yK5NW zXyWR!MWeFb`0>DjV3Rd1Q=@{c+@aZNg}c?zVZhmoSwZ!W2ivbM7dMQc!`uTqfk9?9 z<*5aRh{Xdmhh-em`Qw;%>W{50vqYEjey>!Tkz3Vm!IbZ>{X+ivc5T&oN6${#zF)xL z5*u-ZZPRUBg!;iUHc2z!$ix-}j``2&J;HP^pVgN)lQr2qr5Htwj=r^kb7U^Vb~U-n zmghll>x-UNG_$7J+gRs=ruL>RxGg@EXlJ|=3Oc`X>245(`3HX?uzoRjGk&h|_Ig4& z8rilb^P}@=4fD0OzXY^iuq!#v3qVlxnuLce^BIj!`7=tCl8@HsS5ZmmL!R3EH&Hr~ z$3#bR{TfdmKUss0qQ~SKsaxi_vBsBRQksSoyVt|f$X_y~vQeK#Bi-vm+)qb}!Afja zKkNhp@NL3+8Gd&z&EHhmOVdcaWEr9wO-FjZ{XsRnFjg5szDmXG{Hz)7cUa2Gm zq!i)eCZzS^CS+cwsa|NZhpEGbWK_r?(GydWNT|yPO9mPa7!L=288zSbxYLKf?YlC+ zM2A1pt?&tHL?u;^`YAGw%5dZihnZ-HcvC*&W*q7Kcq_)8*rdu`zk(lbTtZH(`%jWZ zP=?W!i;vNAY4Qa%#n3s$RL38t4@S9!_+gN?xJmn{e&#?E(GYTafsOb*h(QGsOhJ2@ zwc=9uu2;(a{`<8Aw@;;oZrKv~n?q_#6huU&p5bH#yp2{-jT!Tg!!G{V-tQ%N(tO^%4Ls$JkrI>rl~M)dL;$kY*Vw!ZPVb>E+6H#*7KiO?VDPJ=W28NVbsUt-kDk< z>7IOb5`Biz5dBJ6Tn%N;6|LJxrg;7HrY~B%A(qa&v|-^j52I{>JXcZ{;o=~PSeh!~ zz!EbIgGD=JG%{&yYS!MTLAU#ulQNFwROyc84%mGKVyb;2WJ}4FxHGtBW*IDwwF5Bv zigZ`S+yayJA+)p=1)H?v6}ma0QLdY`rXT}J2)e;RUr#OUi5KZmdb1(Y!scVMp#^Cs z8A(jSykkTd@1^Jy12w@@O-pJ>up^~xaX=qQ7R*Ah1xJ=_Wh_sHg&y#|z~k9n1ykJciUtASEBPf48AGI>h+S?Sl&5Ww7bgoxba z+J@dtLx$36u~88RQkxC=knz((lT_v+RX7)zAe=M&d}8qy#r|Yj70RY0kh&WmpEK;X z*am>JTbuFl^ea;lL$RzVr>LE2Cd;pycvj&QPjtlV)k>3jA4p?;d85Cl&N@g1vL{&P znRtDpbcmwpiVK0p+R}t~%)6TYA__lmo!Z}ATUr>4*2D}8$HyV3w|WO8l7{#CskU+` zr?s{;zrB4fjjXb)=q|T%xIrnowR9?}rkk7A4Fk*+K$B_1BouC@b@3OoT*XuleODXq zqqo*AGmp;q$|ZxF|8&>e@+Yuc{lz9uMThpvvvqyHr0TjFSm~Z~(5k$D+SN~@cz(Ii zb?yH(t+V}iV6`IC&s&|!?UrMSv zQL*fz#IXB>7PWnfO*JH;JrX2;=v!@=2pDD4Af3gUyP)?S1{@GhN#Y72mU^|Sq`z9D z)M?-HX6^raNc8L3Menkd4fvuDCJuxK1qz|QlkDBiJZWx{0(I+m0!s?;8rU}VA_?OkbTm%g6WD`)_uOpSl8^4Tl#F^qz?2;)v zp#WQEubaiMo$Mfm^gxk9tI~B7AMZ_DAv4y+Z>ESQt&$y-7JW6+U<8ul5m{+*Y)E6$OjKOR0GVsot)I;7aMJ=> z(VOi}!1yN>Ji)ExMA4yPy{0C^@qeDxY534y_Ik>9&jbs`l696ZxTLMZ27Ffo(?4w; zj@)xzhqf>i%Ln+$O#mEF0%cEE)zg>M8|4`X`>JnvezdF4lGQT!3tJ0&)^xRPx1S?> zZ+?1C*p}tf9=yzuuZ(-D!X}dX^ zc(6QZ(2!MS1Mk_e>;Lgm!%fygwfEh)RW{C1;G_sLM1pfoU4~?o6FtdNj{w66NnZ5q0b|f;vKjWyvisCO zI53(pC>K)!wPkG?h49QL20^R#mskCUie14p^xi@C-etA@SB_gUU zmc=-mS@u2rURV{Jk7F8oV~UNbmS|=%vq&+!6x3ud0_w-dn2i-1esP&mKdb4oW~uw^ zaB@f{JW-`|&%4sZBKf_Ii-la#p=zAC%1OpLth`*H6{q#QQ%%r(ql7mXR)0ifXxu3Xx$5$53qR%RblaRwM0e$$XL%-39(3{&e@ zFoCfPQnNHxSRoG7n~7YyZ>cax)FtA<`tMQ3_?LS-m_}GDT470aP7d_hmvJ84jG6{F z0C%u98Ya)SLkVh!VCy8DsBqX9*u!G52fFV4AKC&*m)?!l+~DbzP!Z+3L=#BBbbmeT zB1_OTIVf6}1wI@*88e_W4^hncs3q1zWc1zQnN0Mwj>SD!9CDKS=!xE!{;#lyH@@l_ zN)=iYyyKzb!yGbsaxei>my?E=f|Wv~V}_EOTBh17zWmu$bC5n-o&60hg0(!%$Zj&u z7pR{)9>1+ILGW3xh*dGRKn^#GTg%ckc_KsW`rHP@P~{f#y~ky+CM3+-cD5*PuLdh$oVd1emH5|4&C_nzD+GVC{Vs&b~Olg z2|Fb@?tEJdgvo0#DyarV_@)}E2;Tb=sW$Q3M^X#s1M?%9h@2XAz$3g2rH%is z9#D`3x=wcn06XacTXDnj@A@%ydNUNT6DNE` zi2`6a8=f~zH+RRoQA_5Z#qX9(Md=5-Q(C= zcdgOE`jH|Mj3V>Il-w>X>PvXVa*L%!=}J`1aYsftP;tXwJ9ql>9HTHDQvdm->H-T* z{iar-T5_~|ftMo`JMK;f=EqTK-uc1;jy7B3Jbq5KHS!#$`H+~PBp@BX&#N=dHP z8;Pa@wC)yXn;C~Mksw%y`SdcC4(DoTE3fK%f#GkKFw6;f3|!=17&6m$ibc}qmv$C0 zWLc$DQ86VUWIBe_$yir#uMu$ohQ+lnZjW%E!z+Zgh{y-S0Yd$EzG9ebQFrH9ZAju0 zJq*Z>p_^F($r6m@Fpq0l7>CP3&C8591~5a9bx5+)+Y zB^D+iojt8yh|6Q(pH6%WLYYol3u0k=hO!W!Dm>{=hr$S; zV^#JkV5F~+Y)^9JaYwH#7O=ZwO(1*!CH|60mJmw8vqI9R>z26am`a>A`_1MDIL_|^LiAbTIUwfvp=RqnI!`TX*u?***jVI_l} zS;8|aVD~aS1W`pb9sBj}XLt`qcAWAA@9YQ7!8@82MmCD@?)JO{pzb%uuoedN;3fga zSnlz(ZFEH;BaMi{UXi>TK+!vHpwdw4+%)n35y=1T(}x=BoYP0-D7R%_5ic%#r?zE_ z(SN+-^!YCjWX|)9eqi6fc`@Igb1BjnxS1-?NWPncPoHY&d0z8}K2;2C;CViou;@^B z+6E~cNFI8By2qXYUjQ=v8FDmnXv>niQw&WUl*86eS+?j#H;pBxyv8OoMv*fK$eTT_ z*yFGO_6Iq7Hs?HjfhQFp-O<9$H;t=XsyC?*_dSbmY6ot*vndM_-aPCt^tu!6q#g}z zzq~=srity8MYPB%r}kSO8x+fd5DTaK<}N_a_-zxSMrC@nbCJlxD5vR;zojm+-P8|W z77EZw*Ye^Rkobs=SXXn>J3*=}V!&&x$L;Ds6MUN4cx}HP0=|_T?IN$WA6iZ-E8?{K zOp!$&Bi134_BF_xGEvDb>?V;A%XlX7#_W&ETwiGn zlOwJmYcdZm|I_reoa7%&jIrTXh)82=oz#f2L?$k_tsBl5pJ=n4h|>rozaB96IDXIj z;<7DVXT9EM?*$1n9`^glcw8;VUEtr=P~gvkn&YeyuJsQo?38*_BVzgN=_NUAE=No$ zDF$(r`co3f_{K6}CRC+|uqx%AIm-+Eo93KJZX%2i9`mUymsO6;c`PY=9s|Az=_H<# zoj;ZYiXO%gfYPt7k<-ivmjWp3VAh0s6{5Aj2(HnQpt_$f2k}Uo^=v$ejh3S31=J7k zQ^gKMGh?UVU&(U;73@US{0<*#%ohkanQO&=JcZmbLnZr$;}Orb5?593qzwQesa@jD zbby>~1HAd_Aoh7cn!O*Tz4wAomHh$dO_Zny-IC9OGpgI?X(xY&e-kVJ?M4h`Uw4xg zDs|RTpH6vlfq<%`VgTuB0d#~cfae89aBpD;b^*r(SucznqCzFncpTzfrD`Kx4y;v!oY(0w zZk+g>q)%_TXWi#<0C{bj+An-B`UGUW{WN`GyibI=@O{7rX)U0dJVno8DPA58Cvp#h+_!lL1Pr3Ggx$d|A2@@^`>ouTqyr40B%G+$k zblJ}<9rP+E?qtvY?Mt8-<>FVn9-1_@xTmiywws41NW{P8uC$LDt<>#q53rDl*D4No zIP~v6%+MQ#2Id}kAZ*EH@eJOXVA!*W5CwmpUdlIw?*3jfDr`jEB1<{Ql{kbIIBfoW z0=8nPtnn;yOn|uJ^X`-izYi|P3Wu)LUhdpx>n>kc9ySmY>kA#Se#+$|PkGZq^w>?; zXLlNC8MG8OJK+j&SIeFToQZ7=oPRN0AK3lUw>t1UQP5C1cr0nVefqQ0@zm?Gb$_qj zmQ??P?G}R|ug$>3X=Kk%n(^*opbEo7{c|4oi3qdy1i5?14@Y|5TPr*Hg7pjCax@bY zDk+{lBt8F?K=d(z5KY;!8~)w@8x`5He0OcQUQiL^(*h-@Iq;q60~g3T+3-1W^Ev(I znZLm_viKF>Zkfn_CmJ|yj?ZCJdl38$dHY(NRJcv9OkFC=?A8xPLJ4YaO_bK-# z*Nw0KSw{I?i}wam8n@h92`NveuADE^$GL_G81KnTwY4YYUQK;?k zc@$?$)=GFIy^2B3>Tjf-&i*qV6JfaTKD_Q9{A2?z{b!pJM+)~~$-?{3LtqyEeHQ*; z7T!O*ojIq38ot-ec!VeY2kyH9_mzd$f#A~1@VhW-9VcN*gfq2Ov!AQN|L+}TzdDr- mNVFdW$qeTw!rHqpkggLhf5=jY#2C0p#bwC&_%sb6Wd8#@+cPl$ diff --git a/semester4/dmdb/parts/05_concurrency-control-recovery/03_concurrency-control.tex b/semester4/dmdb/parts/05_concurrency-control-recovery/03_concurrency-control.tex index 51a418b..aa9aa33 100644 --- a/semester4/dmdb/parts/05_concurrency-control-recovery/03_concurrency-control.tex +++ b/semester4/dmdb/parts/05_concurrency-control-recovery/03_concurrency-control.tex @@ -16,7 +16,7 @@ and leaves the DB in a consistent state. \inlinedefinition[(Conflict) Serializable History] A history is serializable if and only it is equivalent to a serial history. -A very simple way to check this is that a history is not CS if there are conflicting operations. +A history is guaranteed to \textit{not} be CS if there are conflicting operations as defined on the previous page. \inlinetheorem[Serializability] A history is serializable if and only if its serializability graph is acyclic. The seerializabililty graph is constructed from the history graph as follows: