University of Calgary
UofC Navigation

Research Specs

Submitted by admin on Wed, 01/20/2010 - 13:39.
Research Area: Transactions

Transaction processing is a major "horizontal" focus of the research activities undertaken by the ADSA. Transaction management work has been undertaken in the areas of transaction models and formalism, multidatabase systems, specifications, objectbase systems, mobile computing environments and performance analysis. Within these domains the current research is focused on the problems associated with developing a formal specification technique that is able to accommodate heterogeneous correctness specifications and reconcilliation in optomistic algorithms. Since this area is wide and diverse it is probably best to sort through our papers by first considering a "vertical" area of interest (i.e. interoperability or object-based systems) and then scan the publication list for papers of interest.