Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control (The Morgan Kaufmann Series in Data Management Systems) PDF
Preview Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control (The Morgan Kaufmann Series in Data Management Systems)
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
The list of books you might like
