Transaction specification in multidatabase systems based on parallel logic programming

The integration of multiple autonomous and heterogeneous database systems into one multidatabase system requires a powerful language which serves both for specifying queries and transactions. The authors introduce a parallel Prolog-based query language which serves well as a concurrent specification language for the representation of a recently proposed transaction model called 'flex transactions'. They describe the extended language by using examples and show its advantages in comparison to existing parallel logic languages. A prototype implementation of this language (VPL Vienna Parallel Logic Language) has been developed at the University of Technology Vienna and is under investigation.<>