@inproceedings{85f9c6ae2f434a67800022024c7357c0,
title = "An execution model for distributed database transactions and its implementation in VPL",
abstract = "We present an execution model for distributed transactions that can be employed for multidatabase systems. We use the Flex Transaction model that has been proposed as a highly general and flexible tool for the specification of distributed transactions and extend it by allowing nested and possibly recnrsive transaction specifications. We show how a given transaction specification and its execution model can be mapped into a representation in a new concurrent Prolog language, the VPL (Vienna Parallel Logic) language. The representation in VPL can be considered as an executable specification. We show some optimizations concerning this mapping and define a significant subclass of Flex Transactions with a declarative representation in VPL that can be modeled by AND/OK structures. We argue that it is more advantageous to use VPL directly for the transaction specification because it provides more flexibility and more control aspects than the Flex Transaction model.",
author = "Eva K{\"u}hn and Franz Puntigam and Elmagarmid, {Ahmed K.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1992.; 3rd International Conference on Extending Database Technology, EDBT 1992 ; Conference date: 23-03-1992 Through 27-03-1992",
year = "1992",
doi = "10.1007/BFb0032450",
language = "English",
isbn = "9783540552703",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "483--498",
editor = "Alain Pirotte and Georg Gottlob and Claude Delobel",
booktitle = "Advances in Database Technology — EDBT 1992 - 3rd International Conference on Extending Database Technology, Proceedings",
address = "Germany",
}