Specification and Analysis of Transactions in Real-Time Active Databases

The distinction between real-time and non real-time database systems lies in the timing constraints associated with transactions and data values in the real-time database systems. In real-time database systems, transactions have to complete before deadlines, and they have to read data values which are temporally valid because data values may become stale with the passage of time. Missing deadlines or using stale data may cause disastrous results in safety critical real-time applications. Examples of such applications include network services databases[9], autopilot systems, industrial plant control and robot navigation. The reliability of such software systems has been of much concern to designers and users. But there has been no work to formalize the properties of transactions in real-time active databases. In this paper, we attempt to address this lacuna.

[1]  Panos K. Chrysanthis,et al.  Synthesis of extended transaction models using ACTA , 1994, TODS.

[2]  Umeshwar Dayal,et al.  The HiPAC project: combining active databases and timing constraints , 1988, SGMD.

[3]  Krithi Ramamritham,et al.  Real-time databases: issues and applications , 1995 .

[4]  Panos K. Chrysanthis,et al.  ACTA: The SAGA Continues , 1992, Database Transaction Models for Advanced Applications.

[5]  Aloysius K. Mok,et al.  Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.

[6]  Richard T. Snodgrass,et al.  A taxonomy of time databases , 1985, SIGMOD Conference.

[7]  L. DiPippo,et al.  Real-Time Databases , 1995 .

[8]  Ahmed K. Elmagarmid,et al.  Transaction Models for Advanced Database Applications , 1991 .

[9]  Sang Hyuk Son.  Issues in real-time database systems , 1992 .

[10]  Gultekin Özsoyoglu,et al.  Temporal and Real-Time Databases: A Survey , 1995, IEEE Trans. Knowl. Data Eng..

[11]  Richard Gerber,et al.  Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes , 1995, IEEE Trans. Software Eng..

[12]  Gary M. Koob,et al.  Foundations of Real-Time Computing: Formal Specifications and Methods , 1991 .

[13]  J. Davenport.  Editor , 1960 .

[14]  Aloysius K. Mok,et al.  Towards Mechanization of Real-Time System Design , 1991 .

[15]  J.W.S. Liu,et al.  How well can data temporal consistency be maintained? , 1992, IEEE Symposium on Computer-Aided Control System Design.

[16]  Hector Garcia-Molina,et al.  Scheduling real-time transactions: a performance evaluation , 1988, TODS.

[17]  Umeshwar Dayal,et al.  Organizing long-running activities with triggers and transactions , 1990, SIGMOD '90.

[18]  Xiaohui Song.  Data temporal consistency in hard real-time systems , 1992 .

[19]  Jiandong Huang.  Real-time transaction processing: design, implementation, and performance evaluation , 1991 .

[20]  Matthias Nussbaum.  Database Transaction Models for Advanced Applications , 1992 .

[21]  A. Prasad Sistla,et al.  Temporal conditions and integrity constraints in active database systems , 1995, SIGMOD '95.

[22]  Krithi Ramamritham,et al.  Where Do Time Constraints Come From? Where Do They Go? , 1996 .