x
6.1.2TheVTMLdataformat .................................................................................112
6.1.3ExternalandInternalchanges .....................................................................113
6.2ImplementingVTML ............................................................................................115
6.3ImplementingPalimpsest.....................................................................................117
6.4Sequencecontentstorage ....................................................................................120
6.5Trackingdeletions...............................................................................................122
6.6Indexingmoveoperations....................................................................................124
6.7Puttingitalltogether .........................................................................................126
6.7.1Addresscomparison ....................................................................................126
6.7.2Sequencecontents......................................................................................129
6.7.3ComparisonofP-sequences..........................................................................133
6.8Summary............................................................................................................135
Chapter7:ArchitecturalImplications.............................................................................137
7.1Aframeworkarchitecture ....................................................................................137
7.1.1Thelocalstore............................................................................................139
7.1.2Thepolicymanager.....................................................................................139
7.1.3Thenetworkmanager .................................................................................141
7.2Theapplicationinterface .....................................................................................143
7.3Summary............................................................................................................145
Chapter8: Summary.....................................................................................................147
8.1Reviewoftherequirements .................................................................................147
8.2Conclusion..........................................................................................................151
AppendixA:Prologimplementationofthedefinitions .....................................................153
AppendixB:VTMLGrammar ...........................................................................................164
Bibliography 167

xi
ListofTables
Table1.1:Typesofconcurrencycontrol,withexemplarysystems........................................ 15
Table2.1:Taxonomyofoperations.................................................................................... 49
Table3.1:Structuralsituationsthatmayindicateaconflict. .............................................. 56
Table3.2:ConflictmatrixforPalimpsestoperations ........................................................... 62