Triggered Real-Time Databases with Consistency Constraints.

Henry F. Korth, Nandit Soparkar, Abraham Silberschatz: Triggered Real-Time Databases with Consistency Constraints. VLDB 1990: 71-82
  author    = {Henry F. Korth and
               Nandit Soparkar and
               Abraham Silberschatz},
  editor    = {Dennis McLeod and
               Ron Sacks-Davis and
               Hans-J{\"o}rg Schek},
  title     = {Triggered Real-Time Databases with Consistency Constraints},
  booktitle = {16th International Conference on Very Large Data Bases, August
               13-16, 1990, Brisbane, Queensland, Australia, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1990},
  isbn      = {1-55860-149-X},
  pages     = {71-82},
  ee        = {db/conf/vldb/KorthSS90.html},
  crossref  = {DBLP:conf/vldb/90},
  bibsource = {DBLP,}


Real-time database systems incorporate the notion of a deadline into the database system model. Usually, deadlines are associated with transactions, and the system attempts to execute a given set of transactions so as to both meet the deadlines and ensure the database consistency. This paper presents an alternative model of real-time database processing in which deadlines are associated with consistency constraints rather than directly with transactions. This model leads to a predicate-based approach to transaction management that allows greater concurrency and more flexibility in modeling real-world systems.

Copyright © 1990 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Dennis McLeod, Ron Sacks-Davis, Hans-Jörg Schek (Eds.): 16th International Conference on Very Large Data Bases, August 13-16, 1990, Brisbane, Queensland, Australia, Proceedings. Morgan Kaufmann 1990, ISBN 1-55860-149-X


Robert K. Abbott, Hector Garcia-Molina: Scheduling Real-time Transactions. SIGMOD Record 17(1): 71-81(1988) BibTeX
Robert K. Abbott, Hector Garcia-Molina: Scheduling Real-time Transactions: a Performance Evaluation. VLDB 1988: 1-12 BibTeX
Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A model for concurrency in nested transactions systems. J. ACM 36(2): 230-269(1989) BibTeX
Charles Forgy: Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem. Artif. Intell. 19(1): 17-37(1982) BibTeX
M. R. Garey, David S. Johnson: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979, ISBN 0-7167-1044-7
Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154 BibTeX
Thanasis Hadzilacos, Vassos Hadzilacos: Transaction Synchronisation in Object Bases. PODS 1988: 193-200 BibTeX
Farnam Jahanian, Aloysius K. Mok: Safety Analysis of Timing Properties in Real-Time Systems. IEEE Trans. Software Eng. 12(9): 890-904(1986) BibTeX
Henry F. Korth, Eliezer Levy, Abraham Silberschatz: A Formal Approach to Recovery by Compensating Transactions. VLDB 1990: 95-106 BibTeX
Henry F. Korth, Gregory D. Speegle: Formal Model of Correctness Without Serializability. SIGMOD Conference 1988: 379-386 BibTeX
Dennis R. McCarthy, Umeshwar Dayal: The Architecture Of An Active Data Base Management System. SIGMOD Conference 1989: 215-224 BibTeX
Peter Peinl, Andreas Reuter, Harald Sammer: High Contention in a Stock Trading Database: A Case Study. SIGMOD Conference 1988: 260-268 BibTeX
Lui Sha, Ragunathan Rajkumar, John P. Lehoczky: Concurrency Control for Distributed Real-Time Databases. SIGMOD Record 17(1): 82-98(1988) BibTeX
Mukesh Singhal: Issues and Approaches to Design of Real-Time Database Systems. SIGMOD Record 17(1): 19-33(1988) BibTeX
John A. Stankovic: Misconceptions About Real-Time Computing. IEEE Computer 21(10): 10-19(1988) BibTeX

Referenced by

  1. Krithi Ramamritham, Panos K. Chrysanthis: A Taxonomy of Correctness Criteria in Database Applications. VLDB J. 5(1): 85-97(1996)
  2. Nandit Soparkar, Henry F. Korth, Abraham Silberschatz: Databases with Deadline and Contingency Constraints. IEEE Trans. Knowl. Data Eng. 7(4): 552-565(1995)
  3. Gultekin Özsoyoglu, Richard T. Snodgrass: Temporal and Real-Time Databases: A Survey. IEEE Trans. Knowl. Data Eng. 7(4): 513-532(1995)
  4. Azer Bestavros, Spyridon Braoudakis: Value-cognizant Speculative Concurrency Control. VLDB 1995: 122-133
  5. Sang Hyuk Son, Seok Park: Scheduling and Concurrency Control for Real-Time Database Systems. DASFAA 1993: 219-226
  6. Sang Hyuk Son, Seog Park, Yi Lin: An Integrated Real-Time Locking Protocol. ICDE 1992: 527-534
  7. Sang Hyuk Son, Marc S. Poris, Carmen C. Iannacone: Implementing a Distributed Real-Time Database Manager. DASFAA 1991: 51-60
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:45:43 2009