Specification and execution of transactions for advanced database applications

Yungho Leu, Ahmed Elmagarmid, Noureddine Boudriga

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

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
Volume17
Issue number2
Publication statusPublished - 1 Mar 1992
Externally publishedYes

Fingerprint

Specifications
Computer aided design
Processing
Data base
Object-oriented databases

Keywords

  • 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

Specification and execution of transactions for advanced database applications. / Leu, Yungho; Elmagarmid, Ahmed; Boudriga, Noureddine.

In: Information Systems, Vol. 17, No. 2, 01.03.1992, p. 171-183.

Research output: Contribution to journalArticle

Leu, Yungho ; Elmagarmid, Ahmed ; Boudriga, Noureddine. / Specification and execution of transactions for advanced database applications. In: Information Systems. 1992 ; Vol. 17, No. 2. pp. 171-183.
@article{68c29c7eda25416482a89183af25126a,
title = "Specification and execution of transactions for advanced database applications",
abstract = "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.",
keywords = "distributed databases, flexible transaction management, heterogeneous databases, Multidatabases, transaction models",
author = "Yungho Leu and Ahmed Elmagarmid and Noureddine Boudriga",
year = "1992",
month = "3",
day = "1",
language = "English",
volume = "17",
pages = "171--183",
journal = "Information Systems",
issn = "0306-4379",
publisher = "Elsevier Limited",
number = "2",

}

TY - JOUR

T1 - Specification and execution of transactions for advanced database applications

AU - Leu, Yungho

AU - Elmagarmid, Ahmed

AU - Boudriga, Noureddine

PY - 1992/3/1

Y1 - 1992/3/1

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

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

KW - distributed databases

KW - flexible transaction management

KW - heterogeneous databases

KW - Multidatabases

KW - transaction models

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

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

M3 - Article

VL - 17

SP - 171

EP - 183

JO - Information Systems

JF - Information Systems

SN - 0306-4379

IS - 2

ER -