Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!
Concurrent Transaction Logic is a deductive database language that integrates queries, updates, and transaction composition in a simple logical framework. The language supports all the properties of classical transaction, and also the properties found in many new transaction models, such as nested transactions, concurrency within individual transaction, cooperation between concurrent activities, a separation of atomicity and isolation, and fine-grained control over abort and rollback. Currently there are no efficient implementations of Concurrent Transaction Logic. The aim of this thesis is to provide an efficient implementation for Concurrent Transaction Logic.