An execution model for distributed database transactions and its implementation in VPL

Eva Kühn, Franz Puntigam, Ahmed Elmagarmid

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationAdvances in Database Technology — EDBT 1992 - 3rd International Conference on Extending Database Technology, Proceedings
PublisherSpringer Verlag
Pages483-498
Number of pages16
ISBN (Print)9783540552703
DOIs
Publication statusPublished - 1 Jan 1992
Externally publishedYes
Event3rd International Conference on Extending Database Technology, EDBT 1992 - Vienna, Austria
Duration: 23 Mar 199227 Mar 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume580 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd International Conference on Extending Database Technology, EDBT 1992
CountryAustria
CityVienna
Period23/3/9227/3/92

Fingerprint

Distributed Databases
Transactions
Logic
Specifications
Specification
Model
Prolog
Concurrent
Flexibility
Optimization

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Kühn, E., Puntigam, F., & Elmagarmid, A. (1992). An execution model for distributed database transactions and its implementation in VPL. In Advances in Database Technology — EDBT 1992 - 3rd International Conference on Extending Database Technology, Proceedings (pp. 483-498). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 580 LNCS). Springer Verlag. https://doi.org/10.1007/BFb0032450

An execution model for distributed database transactions and its implementation in VPL. / Kühn, Eva; Puntigam, Franz; Elmagarmid, Ahmed.

Advances in Database Technology — EDBT 1992 - 3rd International Conference on Extending Database Technology, Proceedings. Springer Verlag, 1992. p. 483-498 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 580 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Kühn, E, Puntigam, F & Elmagarmid, A 1992, An execution model for distributed database transactions and its implementation in VPL. in Advances in Database Technology — EDBT 1992 - 3rd International Conference on Extending Database Technology, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 580 LNCS, Springer Verlag, pp. 483-498, 3rd International Conference on Extending Database Technology, EDBT 1992, Vienna, Austria, 23/3/92. https://doi.org/10.1007/BFb0032450
Kühn E, Puntigam F, Elmagarmid A. An execution model for distributed database transactions and its implementation in VPL. In Advances in Database Technology — EDBT 1992 - 3rd International Conference on Extending Database Technology, Proceedings. Springer Verlag. 1992. p. 483-498. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/BFb0032450
Kühn, Eva ; Puntigam, Franz ; Elmagarmid, Ahmed. / An execution model for distributed database transactions and its implementation in VPL. Advances in Database Technology — EDBT 1992 - 3rd International Conference on Extending Database Technology, Proceedings. Springer Verlag, 1992. pp. 483-498 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{5912b6b914684935aec6f85cb3fa2ba4,
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 Ahmed Elmagarmid",
year = "1992",
month = "1",
day = "1",
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",
booktitle = "Advances in Database Technology — EDBT 1992 - 3rd International Conference on Extending Database Technology, Proceedings",

}

TY - GEN

T1 - An execution model for distributed database transactions and its implementation in VPL

AU - Kühn, Eva

AU - Puntigam, Franz

AU - Elmagarmid, Ahmed

PY - 1992/1/1

Y1 - 1992/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84976699003&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84976699003&partnerID=8YFLogxK

U2 - 10.1007/BFb0032450

DO - 10.1007/BFb0032450

M3 - Conference contribution

SN - 9783540552703

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 483

EP - 498

BT - Advances in Database Technology — EDBT 1992 - 3rd International Conference on Extending Database Technology, Proceedings

PB - Springer Verlag

ER -