Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control (The Morgan Kaufmann Series in Data Management Systems)

852 Pages·2001·3.57 MB·english

by  Gerhard Weikum

Transactional
Information Systems
Theory, Algorithms, and the Practice of
Concurrency Control and Recovery
The Morgan Kaufmann Series in Data Management Systems
SeriesEditor:JimGray,MicrosoftResearch
TransactionalInformationSystems:Theory,Algorithms,andthePractice
ofConcurrencyControlandRecovery
GerhardWeikumandGottfriedVossen
InformationVisualizationinDataMiningandKnowledgeDiscovery
EditedbyUsamaFayyad,GeorgesG.Grinstein,andAndreasWierse
InformationModelingandRelationalDatabases:FromConceptualAnalysis
toLogicalDesign
TerryHalpin
SpatialDatabases:WithApplicationtoGIS
PhilippeRigaux,MichelScholl,andAgnesVoisard
SQL:1999—UnderstandingRelationalLanguageComponents
JimMeltonandAlanR.Simon
ComponentDatabaseSystems
EditedbyKlausR.DittrichandAndreasGeppert
ManagingReferenceDatainEnterpriseDatabases:BindingCorporateData
totheWiderWorld
MalcolmChisholm
DataMining:ConceptsandTechniques
JiaweiHanandMichelineKamber
UnderstandingSQLandJavaTogether:AGuidetoSQLJ,JDBC,andRelated
Technologies
JimMeltonandAndrewEisenberg
Database:Principles,Programming,andPerformance,SecondEdition
PatrickandElizabethO’Neil
TheObjectDataStandard:ODMG3.0
EditedbyR.G.G.CattellandDouglasK.Barry
DataontheWeb:FromRelationstoSemistructuredDataandXML
SergeAbiteboul,PeterBuneman,andDanSuciu
DataMining:PracticalMachineLearningToolsandTechniqueswithJava
Implementations
IanH.WittenandEibeFrank
JoeCelko’sSQLforSmarties:AdvancedSQLProgramming,SecondEdition
JoeCelko
JoeCelko’sDataandDatabases:ConceptsinPractice
JoeCelko
DevelopingTime-OrientedDatabaseApplicationsinSQL
RichardT.Snodgrass
WebFarmingfortheDataWarehouse
RichardD.Hackathorn
DatabaseModeling&Design,ThirdEdition
TobyJ.Teorey
ManagementofHeterogeneousandAutonomousDatabaseSystems
EditedbyAhmedElmagarmid,MarekRusinkiewicz,andAmitSheth
Object-RelationalDBMSs:TrackingtheNextGreatWave,SecondEdition
MichaelStonebrakerandPaulBrown,withDorothyMoore
ACompleteGuidetoDB2UniversalDatabase
DonChamberlin
UniversalDatabaseManagement:AGuidetoObject/RelationalTechnology
CynthiaMaroSaracco
ReadingsinDatabaseSystems,ThirdEdition
EditedbyMichaelStonebrakerandJosephM.Hellerstein
UnderstandingSQL’sStoredProcedures:ACompleteGuidetoSQL/PSM
JimMelton
PrinciplesofMultimediaDatabaseSystems
V.S.Subrahmanian
PrinciplesofDatabaseQueryProcessingforAdvancedApplications
ClementT.YuandWeiyiMeng
AdvancedDatabaseSystems
CarloZaniolo,StefanoCeri,ChristosFaloutsos,RichardT.Snodgrass,
V.S.Subrahmanian,andRobertoZicari
PrinciplesofTransactionProcessing:FortheSystemsProfessional
PhilipA.BernsteinandEricNewcomer
UsingtheNewDB2:IBM’sObject-RelationalDatabaseSystem
DonChamberlin
DistributedAlgorithms
NancyA.Lynch
ActiveDatabaseSystems:TriggersandRulesforAdvancedDatabaseProcessing
EditedbyJenniferWidomandStefanoCeri
MigratingLegacySystems:Gateways,Interfaces,&theIncrementalApproach
MichaelL.BrodieandMichaelStonebraker
AtomicTransactions
NancyLynch,MichaelMerritt,WilliamWeihl,andAlanFekete
QueryProcessingforAdvancedDatabaseSystems
EditedbyJohannChristophFreytag,DavidMaier,andGottfriedVossen
TransactionProcessing:ConceptsandTechniques
JimGrayandAndreasReuter
BuildinganObject-OrientedDatabaseSystem:TheStoryofO2
EditedbyFranc¸oisBancilhon,ClaudeDelobel,andParisKanellakis
DatabaseTransactionModelsforAdvancedApplications
EditedbyAhmedK.Elmagarmid
AGuidetoDevelopingClient/ServerSQLApplications
SetragKhoshafian,ArvolaChan,AnnaWong,andHarryK.T.Wong
TheBenchmarkHandbookforDatabaseandTransactionProcessingSystems,
SecondEdition
EditedbyJimGray
CamelotandAvalon:ADistributedTransactionFacility
EditedbyJeffreyL.Eppinger,LilyB.Mummert,andAlfredZ.Spector
ReadingsinObject-OrientedDatabaseSystems
EditedbyStanleyB.ZdonikandDavidMaier
This Page Intentionally Left Blank
Transactional
Information Systems
Theory, Algorithms, and the Practice of
Concurrency Control and Recovery
Gerhard Weikum
University of the Saarland, Germany
Gottfried Vossen
University of Mu¨nster, Germany
ExecutiveEditor DianeD.Cerra
PublishingServicesManager ScottNorton
AssistantPublishingServicesManager EdwardWade
AssistantEditor BelindaBreyer
CoverDesign FrancesBacaDesign
CoverImage (cid:2)C RalphA.Clevenger/CORBIS
TextDesign RebeccaEvans&Associates
Composition TechBooks
TechnicalIllustration DartmouthPublishing,Inc.
Copyeditor JudithBrown
Proofreader JenniferMcClain
Indexer SteveRath
Printer CourierCorporation
Designationsusedbycompaniestodistinguishtheirproductsareoftenclaimedastrade-
marksorregisteredtrademarks.InallinstancesinwhichMorganKaufmannPublishers
isawareofaclaim,theproductnamesappearininitialcapitalorallcapitalletters.Read-
ers,however,shouldcontacttheappropriatecompaniesformorecompleteinformation
regardingtrademarksandregistration.
MorganKaufmannPublishers
340PineStreet,SixthFloor,SanFrancisco,CA94104-3205,USA
http://www.mkp.com
ACADEMICPRESS
AHarcourtScienceandTechnologyCompany
525BStreet,Suite1900,SanDiego,CA92101-4495,USA
http://www.academicpress.com
AcademicPress
HarcourtPlace,32JamestownRoad,London,NW17BY,UnitedKingdom
http://www.academicpress.com
(cid:2)C 2002byAcademicPress
Allrightsreserved
PrintedintheUnitedStatesofAmerica
06 05 04 03 02 5 4 3 2 1
Nopartofthispublicationmaybereproduced,storedinaretrievalsystem,ortransmit-
tedinanyformorbyanymeans—electronic,mechanical,photocopying,orotherwise—
withoutthepriorwrittenpermissionofthepublisher.
LibraryofCongressCataloging-in-PublicationData
Thisbookisprintedonacid-freepaper.
To science
and for Liz, Maria, and Julia, my mother
Anna, and my late father Oskar.
—Gerhard Weikum
For Martina, for the first 24 years and for staying by my side
through the completion of many books, for Laura and
Kathrin, my true challenges, for my mother Marianne,
our sponsor, and for my father, Hans, whose life
transaction was serialized by heaven’s scheduler before
the transaction of finishing this book, as he had to
leave this world about nine hours before the central
shadow of the 1999 solar eclipse hit Germany
(and I firmly believe it was a Commit).
—Gottfried Vossen
Science! True daughter of Old Time thou art!
Who alterest all things with thy peering eyes.
—Edgar Allan Poe
This Page Intentionally Left Blank
Foreword
Jim Gray, Microsoft, Inc.
This book is a major advance for transaction processing. It synthesizes and
organizesthelastthreedecadesofresearchintoarigorousandconsistentpre-
sentation. It unifies concurrency control and recovery for both the page and
object models. As the copious references show, this unification has been the
laborofmanyresearchersinadditiontoWeikumandVossen;butthisbookor-
ganizesthathugeresearchcorpusintoaconsistentwhole,withastep-by-step
developmentoftheideas.
The “classic” books on transaction processing have largely either focused
onthepracticalaspectsortakenarigorousapproachpresentingtheoremsand
proofs.Mosthavelimitedthemselvesto“flat”transactionsbecausethetheory
of multilevel transactions was so immature. This is the first book to give an
in-depthpresentationofboththetheoryandthepracticalaspectsofthefield,
and the first to present our new understanding of multilevel (object model)
transactionprocessing.
Inreadingthebook,Iwasimpressedathowmuchourfieldhasadvanced,
andhowonce-complexideasarenowsimplyexplainedoncetheterminologyis
rationalized,andoncetheproperperspectiveisset.Youwillfinditpossibleto
readthisbookatthesuperficiallevel:justfollowingthetext,theexamples,the
definitions,andthetheorems.Youwillalsobeabletodiveasdeepasyoulike
intothedetailedpresentationoftheresults–boththeproofsandtheprograms.
Inreviewingthebook,Itookbothperspectives:tryingtouseitasareference
bydivingintothemiddleofsomechapterandseeinghowquicklyIcouldfind
theanswertomyquestion.Ialsotookthelinearapproachofreadingthebook.
Inbothcases,thebookwasveryinformativeandveryaccessible.
Thisbookislikelytobecomethestandardreferenceinourfieldformany
yearstocome.
ix