Specification and execution of transactions for advanced database applications

Yungho Leu, Ahmed Elmagarmid, Noureddine Boudriga

Research output: Contribution to journalArticle

6 Citations (Scopus)


Autonomous multidatabases, Computer Aided Design (CAD) databases, and Object Oriented Databases have requirements which traditional transactions cannot meet. Users of these advanced applications are more sophisticated than users envisioned for On Line Transaction Processing (OLTP) applications a few decades ago. The need to relax the properties of complex database transactions is urgent. Frameworks for flexible transaction systems are needed. This paper is a step towards this objective. This paper addresses the formalization of a new transaction model called Flex transactions, along with execution control and analysis protocols. The algorithm is formalized through the use of Predicate Transition Nets (PTN) and reachability trees.

Original languageEnglish
Pages (from-to)171-183
Number of pages13
JournalInformation Systems
Issue number2
Publication statusPublished - 1 Mar 1992
Externally publishedYes



  • distributed databases
  • flexible transaction management
  • heterogeneous databases
  • Multidatabases
  • transaction models

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture
  • Management of Technology and Innovation
  • Management Information Systems

Cite this