Publications of Franz Puntigam (KPE92a)

Eva Kühn, Franz Puntigam, and Ahmed K. Elmagarmid.
An Execution Model for Distributed Database Transactions and Its Implementation in VPL.
In Proceedings of the 3rd International Conference on Extending Database Technology (EDBT'92), Vienna, Austria, March 1992.

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 recursive 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/OR 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.

Paper

@InProceedings{KPE92a,	
  author    = {Eva K\"{u}hn and Franz Puntigam and Ahmed K. Elmagarmid},
  title     = {An Execution Model for Distributed Database Transactions and Its Implementation in {VPL}},
  booktitle = {Proc.~of the International Conference on Extending Database Technology, EDBT-92}, 
  publisher = {Springer, LNCS 580},
  address   = {Vienna},
  month     = mar,
  year      = {1992},
  url       = "http://www.complang.tuwien.ac.at/franz/papers/KPE92a.ps.Z"
}