صفحه 1:
صفحه 2:
Traswirw :098 مان
wo
ان مس
متس
مه موی
طسب
QRevovercbtiyy
0 ا
ماه( متسه kt GOL
‘Deore Por Gertckzabliy.
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08.
صفحه 3:
پوس ی و
© 0 rewwton & 9 vail prog execuivg hot uccesses od possibly
updates various data tec.
© 0 لول موه و و ام
© Ort مس exevuiiog he dotcbuse wey be tewporady tacveststiect.
مح لیب وا سپس اوه بو بج مسجو لجل سنا
bene,
۲ Pero rensuivs cows, the chooges it has wade iy he dotabuse persist,
euro there ore spstew .وس اننا
۱ طسو و و وی اون لو(
© Pw wa eves ty deol with
۶ اه یلو vatour bods, suck os horde Polures ond syoteu
اه
© Cowered exevutiod oP ول tronartiods
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. wo ©Sbervehnts, Cork ced Cnakershe
صفحه 4:
2010 Properties
وی ond possibly updates یه اب ماج مس و لس د دا وماصحصز 09
of dota the database sysiew oust rou! فيج جا رم وه مد
© @wrty. Ciker dl ppercicgs of the trowsuctiva ore propery reAeried ia the
database و وه مه
۲ ماه و قح مین fa مت preserves the coca of
بو _
Beckton. Dlhougs cults tracsurtiois way exevute coorurrediy, euck مه
واه ۴اه نوی سا عم coazunreuly executes لصا شم
trocsuntica results o7ust be kiddeo Proow ober ocacurredly executed trocrarivc.
© بط ts, Por every par oP مس Ton 7, toppeas io Phot ether T,
Priched executod bere “P started, or “T) started exertion Pier “?) Praisked.
۲ اون و و ۳( ی( survesshuly, the choayes it has wade to
the database persist, eved P there ore systew Pobures.
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. we ©Sbervehnts, Cork ced Cnakershe
صفحه 5:
+ (Backopls OP and Tractor
rexePer $60 Proc wernt Dy aorant @: ام الا
vee) .0
0-0 :0 ,6
wrte() .9
(0 )سر .6
۵+۵۵ :0 ,9
(© )سم .©
,6 وه ما لمی 6 هط مسا بط مور روموت 19
ore opt rePered tothe daubase, ebro لین با فا مه لاه مره بل
0
© Onwstewy requrewed — he sav of @ ocd © is varhooged by شحو
OP the troceruntion.
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. wo ©Sbervehnts, Cork ced Cnakershe
صفحه 6:
+ Oxo oP Pund TraePer (Ova)
Beckton requrewed — Fbetwera eps O ond O, caker raat i
sho epee hee pach پم Heder idk ene on مسجم عجوم her
(he sco + Pail be bros trom t shoal be).
© ecktioc mac be peured irundy by nenicny inneucioas serklly, teat is oe
Hee ert
© Ahowever, exeruien, wulipie تنیز سا راو موه
] biter.
۲ سا مج نم ات ما ماج و مور رای
وین (ie., he rceber of te SOO hor theo pice), fhe updos to the
ای by the traxmurtioa cant pero سج واي موس
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. wo ©Sbervehnts, Cork ced Cnakershe
صفحه 7:
Traswird Onde
ove — the Rad ste) fee وممصم stave fa ier ste whe fer exert
arty courted - «Pier ihe Phd stata har bee exerted.
Oded — Per he devovery ha word exer ica mn oo baer proceed.
bored — Pier he weneurtins hos bert red back oud he dace rested
اماد جا جا prior 7 he stort oP ike trceuton. Tuan optocs Per i har bee
تم
و اما لیوا مه ۳ cou be dow ool راما ما مس ©
صمحم (hil the
Bl Opwtted — Per sucess mxopleton.
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. wor ©Sbervehnts, Cork ced Cnakershe
صفحه 8:
Treenivd Orie (Ovc.)
Pe
“ye
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. ~ i
صفحه 9:
+ ‘koplewweciaiod oP Biowiiy wad Ourablliy
a ۲ لول وه موه syetew اوه
the support Por لجی روت durcbiliy.
ل لا
و و سره سا مت و رای نما مج ۶
۰
موه مه اه سا خر ور odled db_potcier ور ور
سیب بر
© dhe oe wae oo a shack copy oF he dacbose, ord
لاه ای سا ما مور و عمج اسر بل copy ody Pier her
سس
ایا با och,
ارو copy potted ty by موه همم بت
pent be sed, ood the shabu copy oor be dotted.
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. wo ©Sbervehnts, Cork ced Cnakershe
صفحه 10:
+ Choplercition oP Brwty wed Durdbity (Ova.)
‘db-pointer
سس
old copy of
database
(to be deleted)
new copy of
database
Dke shadou-dotobase schewe:
db-pointer
53
old copy of
database
© Qssanves disks do wt Pal
B OsePu Por tent echiors, but
© exrewel ke Pitot Por haw chtcbares (uty?)
مس
© Oves wi kane cared
۲ Oil study beter schewes ta Chopter 17.
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08.
صفحه 11:
+ Oowured Creviow
Bl Dukpe rocsunioce ore dlewed i rus poscurreaiy fa he syetew.
م0 ore:
© erewed provessor oad deh uiizaia, leudoy to better trocsurtion
troup oe ieeurion rat be usiog the CPO utile rather ie ready
Pro or write ty the choke
© rekord were resp koe Por irexewizes: shen rerio ceed
wot ura behind br oer.
© Opwwrewy cours! svhewes — wechodisws tp achieve tsvhiiod; thot ts, 17
او ها و و سس موه سا روت موه با ایو
thew Prow desiroying the صلاخان ری
© Olean is Chapter (0, Per stain seta of porreviiess oF
شوه سور
سا0 لح 0 لا سواه 1 موه ۱
صفحه 12:
ی +
۲ امن با رتاو ناوخا سم و - سل order ict
hick اجه جوا موی تن وا
© ached Por o set of اس ust oposite of oll etruniizes oP those
سس
© wet preserve the order in which the اف ای و و
مسر
BO trenton hd success Ruy cowpbtes tis اوه سم رت مج
جما جد جملا اص ket stalewedt (wll be occted a te obvi)
BO tnrewoioa ot Paks ty surcessPMy omopket ts exert wll have or bert
جما جب جات اص ket stalewedt (wll be occited Ft te obvi)
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. 10.00 ©Sbervehnts, Cork ced Cnakershe
صفحه 13:
+ Ookerhis 1
B Let Ty ام 160 Prow Pio B, امه Ty trcePer (D% of he
beknee Prine 9 0
B® veri ات ia which T, ts Polowed by To:
read(A)
AzA—50
write (A)
read(B)
B:=B+50
write(B)
read(A)
temp := A *0.1
A:=A- temp
write(A)
read(B)
B:=B+temp
write(B) Ez
Oeadrwr Gyetrer Ovcwptr- O* Brame, Gey ©, 2008.
صفحه 14:
© ط یی +
+ sernd schekie where Ti Polowed برط 10
read(A)
temp :=A*0.1
A:=A-— temp
write(A)
read(B)
B:=B+ temp
write(B)
read(A)
A:=A-50
write(A)
read(B)
B:=B+50
write(B.
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. 16.00
صفحه 15:
+ یی O
19 Let Ty ocd 7, be be inxeantions dePed previa. Phe Policy
sohede toot a serid sokedle, but itis eguivaialte Ockedve ۰
read(A)
A=A-50
write(A)
read(A)
temp :- ل * 1
A
A- temp
write(A)
read(B)
B:=B+50
write(B)
read(B)
B:=B+temp
write(B)
410 Gokeddes (, O und 8, he une + @ preserved. Ez
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. 10.00 ©Sbervehnts, Cork ced Cnakershe
صفحه 16:
@ یی +
18 Dh Polowiey ooourred schedde does ot preserve the vue خام ))©
+O).
read(A)
temp :=A*0.1
A:=A — temp
write(A)
read(B)
write (A)
read(B)
B:=B+50
write (B)
B:=B+ temp
write(B) ka
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. 16.00 ©Sbervehnts, Cork ced Cnakershe
صفحه 17:
Gorichabity
© یدوجو موه rie
“Dhue gerd executog of a get of ره سل مرو موم
او و ها افو بت ها ره مه (poeebly ۲
يخم مجهي جما صر صم سق سترفوت مایت تن sukecle. OP Perea Poros
ون ی ٩
© Oe kewre اجه ,و نمب كحت لمج حكا عجكات ممصت we osu
thot وه تمه موم رو وس oo dota لیا و buPPers ke
ای دوه لاه )ات له و ما oP ody read ord
ری ات رن
۱ 10.0? ©Sbervehnts, Cork ced Cnakershe
صفحه 18:
هس سره | بو زو( و
را له سای هل 7 مس [oP ام | ما ۳
these و اه لو | لو سا روا له 0 ما مه سوه سا
0
vead(Q), | =read(@). اد ام
rew(Q), |= urte(Q). Phey coh.
wrte(Q), | =rea(Q). اه بو
wrte(Q), | = wrte(Q). ممت و۳
18 لحب | موا سناجت د ,باعش [Porces « (locied) tewopord order beter
tow.
4B fod fore coweenuive اه و و ond they do oot رت rede
key hud bevu rizrckuuued inhe scbedvie. من سوت بط من لت
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. 16.00 ©Sbervehnts, Cork ced Cnakershe
صفحه 19:
راب6 بزیین +
۲ اه G voc be trensPorwed toto 0 scheduie 6۵ by a sertes oP swaps
مومس خر Retrunions, we say thot G ont Gore ooh equided.
© We sw that a schedule Gis vodPlet sertatzable Pitts ی equivdedt 7 seridl
shed
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. 16.00 ©Sbervehnts, Cork ced Cnakershe
صفحه 20:
+ OvdMtt Osridtrbity (Ova)
Bl Ocherki 0 van be inxePorned tay Oohedde O, 9 sertd sohechle
where 1, Polaws Py, by eres oP swape oF ueoosP ry
032000
© DherePory Ooheckle © ts out sertakzable.
read(A)
write(A)
write(A)
read(B)
write(B)
read(B)
write(B)
Gckedue D
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08.
صفحه 21:
+ OvdMtt Osridtrbity (Ova)
اه fri oot cob او و و ۴
14
write(Q)
Be ae unbe sup ketrtoas ta he chove sched to obtaia ther the seid
ocherhie <T,, Tig >, o the gertd جامد < Ty, TD >.
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. 16.00 ©Sbervehnts, Cork ced Cnakershe
صفحه 22:
رسب سل +
Bl Let Gord 6’ be tu aches wih he save واه بو Gord GO”
ae Vew equivdedt Phe مت سبط مر( ore wet
(. Por pack dota tw Q, P iroceurton 7, reads the rtd ude of Gis
مس ما ,۵ طساو 1 met, tr sched © قحم سا ام و
سس of Q.
©. Por cock data tow GP rxearton 7) executes read(Q) it ochechie G,
cen hot vk wor prockerd by inneurion 7) (Poy), hea inxeurtion
4 اس roche (G سای سا ام of G trot war produced by
ی
9. Por اس chia tew Q, the trout (Pony) that اس وت
جا موه( رن sched G cust perPorer the Pred wrte(@)
اه ما من &
Os coo be sero, view equivdeare is dev based purely oo reads ات اج
dow.
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. سا0 لح 0 لا سواه 1 موی
صفحه 23:
+ و (Ovw.)
© O sthedle Gis vew vertdbrabl itis view equivdedt ty 0 serial schedule.
۱ ری رای الا تور ts uv view sericizabe.
© یاه بای بت ها طورش ع امان طللاه وج تلد(
qe
write(Q)
write(Q)
a write(Q)
© vey view seridizable schedule thot is ot cooPict seriakzoble has bled writes.
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. 20 ©Sbervehnts, Cork ced Cnakershe
صفحه 24:
+ Ober Ovtow oP Oeridtzdbity
Bl Dhe ochedde below prodces suwe pure ar the serid schedle <
Dy Po, >, ves coh oobi و مرهج تسه مهوت
read(A)
A:=A-50
write(A)
read(B)
B:=B-10
write(B)
read(B)
B:=B+50
write(B)
read(A)
A:=A+10
write(A)
B Ort oraiey suck equideure requires univets oP pperdicas اه
read ord rite.
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. سا0 لح 0 لا سواه 1 ممه
صفحه 25:
+ Testy Por Ovrickrbily
© Oousider sowe schedule of a set oP اس 1 7,
Pores با
Bl Prevebwe graph و drent wok where he vertoes ore the
wearer (sxe).
B We draw wor Pow Tp 7B ke اجه رات مس مس 7,
تخس fhe da few va heb the ou لماعب ميمت
۴ We coay kabel he ory by the te thot woes orvessed.
0
<a
5 SS)
v
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. سا0 لح 0 لا سواه 1 موص
صفحه 26:
+ @xavple Ootedue (Gvbedue ®) + Prevedewe Brak
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. سا0 لح 0 لا سواه 1 وهم
صفحه 27:
0
.تاسوه حا عامسو prevedeure
11 ف لسن حجان جأسجانن اعقب جص اجا باس سا0
koe, where ois he oneber of vertices ia he
soph.
© (eter cherie take order 0+ e where oi
the nncber of eckes.)
BOP precede wroph te cts, the sertokzcbliy
order oa be جما خاب متحت اسح اجوز و بالات
اي
مس ما و و wih he porta
order of the raph.
© Por طسو و ی order Por
Goheddle B wokd be
Ratatat
۱ @re tere vers?
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. جوصه
صفحه 28:
مطاح دهن 5) ببد2) عروذا زوع
ص تصحف 1 b بقام احا جد نمست عوذا دجا عوسي صاصم 21157 1
یاه تن سوا
]۱ Por view sertakrobliy hes oot expooruitd ia the size oP the
prevedeuce yruph.
BL Dhe problew of chevhiog Po sokedle view seridkable Pols to the ches of
OP-axmpet: probes.
ای سوه ها منوا مه مد خا مه عط ©
رش ۲ لین موی وروی اه اس ما واه امش و 18
sertakzdbliy coc sill be weed.
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. سا0 لح 0 لا سواه 1 وهم
صفحه 29:
QRevovervbls Ookeduss
ره مه یط مج اه ای با سای وا لو(
تس مت
۳
هجو مه مهم 1 ماه
11 خأ مس
و عم بسح (10 )اه پا ۱ ۲
senha cae bert
To
read(A)
write(A)
read(A)
read(B)
BP Ty shod obo, 7, would we edd (ued possibly shows ty the veer) oo
inoousistedt dutcbosr state. Weare, dotcbosr wut eusure thot schedules ore
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. سا0 لح 0 لا سواه 1 موه
صفحه 30:
+ Owen Rolohs
Bl Ocenudos rolbuck — a sine haxeuriva Baki buds to seven of
fexeurion rolbacks. Onvekder fe Polpuien schedde where ace of he
resect bee pet و میور بط ایا ی اس
read(A)
read(B)
write(A)
read(A)
write(A)
B Oca مه وتو و اه موی سا نا لا oP words
سا0 لح 0 لا سواه 1 همه ۱
صفحه 31:
Ovscadeless Ovlhedules
Bl Ocevadeles sheddes — cucu rolbucks came pozur; Por euch pur of
مسر Tod Puck tet Prensa cata few previnwly writen by Tbe
maxima operates oP P oppeurs before ber read operive of P.
۴ Cie ewnleben sched & dou ترا رم
۳ تا ما تا w resin he ی مر سم با ورن ewrnbboe
۱ 16.00 ©Sbervehnts, Cork ced Cnakershe
صفحه 32:
Cowurrewwy اهبوهن)
و دوه وم و ما عمجت نب ام و database wet provide 0 ©
اه تاه رت و ی ی ۴
عولط موی لام لو مرس و ۶
او yeueriies دوجو و موس امن مایت و و ۵ ها
مه ۴اه صرح عجوم د دسلتصصم الجا روعت ل صداوه
© Ore seri schedles revovercblelrosradeless?
۲ Desay a schedule Por و تلو it hos executed ts o hie tov kt!
© od - بت tevebp cowerewy ood protools thet wil assure ,اوه
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. 00 ©Sbervehnts, Cork ced Cnakershe
صفحه 33:
+ راوس و ریق eer
ما یحو نها امه لوج ممجممه وله مر او تروص ول ۲
ued are recoverable oad vases. اوه تیالو و امد
raph طلسم ها عم بت ول اي وم امه جوز
we tis been created
© Vestecd 0 protocol koposes 0 derighor thot avoids omeercizable svhethies.
© We shady suck protons to Chupter 10.
© OPPercot ام روصم protools provide dPPered iradevPPs betwerd the
nt oP له سطاه وروی ۷ nn oP overkead thot they tamu.
Vests Por sertatzabtiy help ue voderstond why ج اسصو اوه تمحصجوه و
ات
۱
صفحه 34:
+ Oak eee tt ون
© Gowe uppicuives ore wiles to hve wih weds levels oP شاه ,موی
schedules thot are ant sertatzable
© Gx). بوحصم م romsoriva thot wets fo get oo opprontcrate total bokrare oP
أن corns
© Cy, chtcbwse stutoins copied Por query opikoizaioa oe be upproiocte
(ary?)
مهو اس ved ont be sertdkzuble wik respent ip سوه مان
ل ا Por perPorwone
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. woe ©Sbervehnts, Cork ced Cnakershe
صفحه 35:
00 ۰ رین و مرا +
ميك — Bl Gericke
اه وم او ام records io be و را Repeokbl: read ۲
0
ام bat ot ماه رو او لاجو جور و لت رو ۱ باصا مم
ات
recs مود بط ام can be و لو را لس 0
(but cowed) vokes. سل ما رو لو خر
ام ع9 رو ور امس Red woowwited — even ©
مرو رو خی موی اه و Bo bower
about the database ماو
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. سا0 لح 0 لا سواه 1 66م
صفحه 36:
اوقت مج +
خم اه سا ره 3 اس ه ust fochide مها مومت میا ۲
ircesariioc. و موی ۳ موم
ان ما شوه د , ب[ ©) 115 0
treceutivs is QL cade by: 0 19
وه سوه و لكك trocsutica ی اروت Cnet work ©
اه 0 متس مه موه اون اوق ۶
:اه روا لام رم beveb of ©
لو ت۱۹
لس ادوس ۶
لام لد ©
مص لد«
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. سا0 لح 0 لا سواه 1 وهم
صفحه 37:
Gad oP Okaper
صفحه 38:
read(A)
write(A)
read(B)
write(B)
read(A)
write(A)
read(B)
write(B)
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. سا0 لح 0 لا سواه 1 موم
صفحه 39:
read(A)
write(A)
read(A)
read(B)
write(A)
write(B)
read(B)
write(B)
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. 666 1 سا0 لح 0 لا سواه
صفحه 40:
write(Q)
read(Q)
write(Q)
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08.
صفحه 41:
+ (a) Gokedule ( acd (b) Goleedule O
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. سا0 لح 0 لا سواه 1 موم
صفحه 42:
۱
صفحه 43:
صفحه 44:
۱
صفحه 45:
oP Isvkica سسوم
© Gokedues worst be vehi or view seridtzoble, ood recoverable, Por the
she oP dotabuse ooesistieuy, und prePerably msradeless.
© 0 potty is whick oly coe trocsurtivg coo exer جد جبفمصص وكا د ل
sokedues, but provides 3 poor deqrer oP موجه
© Cowurew-coutdl schewes tradePP between the omni oP
واه نصا مج ced te oeut oP pverkead thot they tamu.
© Gowe schewes dow oly codPictsertaizuble schedules to be yecercied,
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08. wero ©Sbervehnts, Cork ced Cnakershe
صفحه 46:
read(A)
temp := A* 0.1
A:=A - رسع
write(A)
read(B)
B:=B + temp
wre
read(A)
A:=A-50
write (A)
read(B)
B:=B+50
write (B)
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08.
صفحه 47:
write(Q)
write(Q)
read(Q)
write(Q)
Ceadrwe Gyetrer Ovcwptr- O* Brame, Gey ©, O08.