A Parallel Logic Language for Transaction Specification in Multidatabase Systems

The realization of truly heterogeneous database systems is hampered among other things by two obstacles. One is the unsuitability of traditional transaction models; this has lead to the proposal of a number of new, advanced transaction models. The second is the lack of appropriate programming support for these advanced concepts. This paper addresses these two issues by pointing out the advantages of using a logic based approach for the integration of autonomous software systems