Speaker: | Adam EPPENDAHL, Institute of Cybernetics, Tallinn |
Place: | Room B 101, Institute of Cybernetics, Akadeemia tee 21, Tallinn, Estonia |
Time: | Monday, November 22, 2004, 14:00 |
There is an algorithm, devised by Roscoe in Oxford, that allows a ring of databases to circulate updates and ensures that the databases will be consistent when no updates are still circulating. For his proof of the algorithm, Roscoe abstracts an algebraic structure which, quite independently, turns out to be fundamental in knot theory. This talk will explain the algorithm and algebra and show how the connection with knot theory can be seen clearly if the trajectories of the database updates are drawn in space-time.