RTSQL: extending the SQL standard to support real-time databases

This dissertation extends the standard query language SQL to support real-time databases to create RTSQL (Real-Time SQL). RTSQL includes extensions that specify: temporal consistency constraints on data, timing constraints on execution, bounds on use of system resources for predictability, and flexible transaction structure that relaxes traditional ACID transaction properties to better support real-time requirements. To aid in identifying the necessary constructs that were added to the language, a model for real-time database systems was developed. The actual language constructs were developed based upon this model, and a subset of the constructs implemented as a prototype system. To evaluate the results, the implementation was tested for correct behavior, and the language constructs evaluated against requirements developed by a standards organization.

[1]  Calton Pu,et al.  Asynchronous consistency restoration under epsilon serializability , 1995, Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences.

[2]  Maurice Herlihy,et al.  Linearizability: a correctness condition for concurrent objects , 1990, TOPL.

[3]  A. D. Stoyenko,et al.  Real-time Euclid: a language for reliable real-time systems , 1989 .

[4]  C. J. Date.  A Guide to the SQL Standard , 1987 .

[5]  Leonard Gallagher.  Database management standards: status and applicability , 1991 .

[6]  Umeshwar Dayal,et al.  Time-critical database scheduling: a framework for integrating real-time scheduling and concurrency control , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[7]  Ashish B. Shah,et al.  Common Object Request Broker Architecture (CORBA) , 2015 .

[8]  Karl J. Lieberherr,et al.  Object-oriented design , 1996, CSUR.

[9]  Michael D. Soo,et al.  Bibliography on temporal databases , 1991, SGMD.

[10]  Peter A. Ng,et al.  A Formal Definition of Entity-Relationship Models , 1979, ER.

[11]  Özgür Ulusoy.  Current research on real-time databases , 1992, SGMD.

[12]  Young-Kuk Kim,et al.  Integration of a database system with real-time kernel for time-critical applications , 1992, Proceedings of the Second International Conference on Systems Integration.

[13]  Alan R. Simon,et al.  Understanding the New SQL: A Complete Guide , 1993 .

[14]  Hector Garcia-Molina,et al.  Modeling long-running activities as nested sagas , 1991 .

[15]  David Maier,et al.  Readings in Object-Oriented Database Systems , 1989 .

[16]  Alexander D. Stoyen,et al.  Real-Time Euclid: A language for reliable real-time systems , 1989, IEEE Transactions on Software Engineering.

[17]  Abraham Silberschatz,et al.  A Formal Approach to Recovery by Compensating Transactions , 1990, VLDB.

[18]  Philip S. Yu,et al.  On real-time databases: concurrency control and scheduling , 1994, Proc. IEEE.

[19]  Bhavani Thuraisingham,et al.  RT-OMT: a real-time object modeling technique for designing real-time database applications , 1994, Proceedings of 2nd IEEE Workshop on Real-Time Applications.

[20]  Roger King,et al.  Semantic Data Models , 1985, Principles of Database Design.

[21]  Lui Sha.  Modular concurrency control and failure recovery--consistency, correctness and optimality (transaction, database, distributed, operating systems) , 1985 .

[22]  Calton Pu,et al.  A Formal Characterization of Epsilon Serializability , 1995, IEEE Trans. Knowl. Data Eng..

[23]  E. Schmidt,et al.  Lex—a lexical analyzer generator , 1990 .

[24]  Joan Peckham,et al.  RTSORAC: A Real-Time Object-Oriented Database Model , 1994, DEXA.

[25]  Joan Peckham,et al.  Constraint based analysis of database update propagation , 1989, ICIS '89.

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

[27]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[28]  Donald F. Towsley,et al.  Priority assignment in real-time active databases , 1996, The VLDB Journal.

[29]  Umeshwar Dayal,et al.  The architecture of an active database management system , 1989, SIGMOD '89.

[30]  Tony Mason,et al.  Lex & Yacc , 1992 .

[31]  Narain H. Gehani,et al.  ASSET: a system for supporting extended transactions , 1994, SIGMOD '94.

[32]  Richard T. Snodgrass,et al.  Extending the relational algebra to support transaction time , 1987, SIGMOD '87.

[33]  Paul J. Fortier,et al.  Flexible real-time SQL transactions , 1994, 1994 Proceedings Real-Time Systems Symposium.

[34]  Kwei-Jay Lin,et al.  Expressing and maintaining timing constraints in FLEX , 1988, Proceedings. Real-Time Systems Symposium.

[35]  Donald F. Towsley,et al.  Priority assignment in real-time active databases , 1994, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems.

[36]  Bhavani Thuraisingham,et al.  SQL extensions for security assertions , 1991 .

[37]  José A. Blakeley,et al.  Architecture of an open object-oriented database management system , 1992, Computer.

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

[39]  Patrick Valduriez,et al.  Principles of Distributed Database Systems , 1990 .

[40]  Lisa Cingiser DiPippo,et al.  Object-based semantic real-time concurrency control , 1993, 1993 Proceedings Real-Time Systems Symposium.

[41]  Oscar Díaz,et al.  Semantic-rich User-defined Relationship as a Main Constructor in Object Oriented Database , 1990, DS-4.

[42]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[43]  Paul Fortier,et al.  DBSSG Predictable Real-Time Information Systems Task Group. , 1995 .