{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:19:24Z","timestamp":1740028764235,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540656494"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-49151-1_5","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:55:24Z","timestamp":1269899724000},"page":"73-97","source":"Crossref","is-referenced-by-count":1,"title":["An Active Real-Time Database Model for Air Traffic Control Systems"],"prefix":"10.1007","author":[{"given":"Kwei-Jay","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ching-Sang","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tony","family":"Ng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1145\/155271.155276","volume":"18","author":"D. Agrawal","year":"1993","unstructured":"D. Agrawal, A. E. Abbadi, and A. K. Singh. Consistency and Orderability: Semantics-Based Correctness Criteria for Databases. ACM Transactions on Database Systems, 18(3):460\u2013486, 1993.","journal-title":"ACM Transactions on Database Systems"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"R. Abbott and H. Garcia-Molina. Scheduling Real-Time Transactions: A Performance Study. In VLDB Conference, pages 1\u201312, September 1988.","DOI":"10.1145\/44203.44209"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"B. Adelberg, H. Garcia-Molina, and B. Kao. Applying Update Streams in a Soft Real-Time Database System. ACM SIGMOD, 1995.","DOI":"10.1145\/223784.223842"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"T. P. Baker. Stack-Based Scheduling of Real-time Processes. Real-Time Systems, 3(l):67\u201399, March 1991.","DOI":"10.1007\/BF00365393"},{"key":"5_CR5","unstructured":"Bernstein, Hadzilacos, and Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987."},{"issue":"1","key":"5_CR6","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/128765.128771","volume":"17","author":"B. R. Badrinath","year":"1992","unstructured":"B. R. Badrinath and K. Ramamritham. Semantics-Based Concurrency Control: Beyond Commutativity. ACM Transactions on Database Systems, 17(1):163\u2013199, March 1992.","journal-title":"ACM Transactions on Database Systems"},{"issue":"3","key":"5_CR7","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1109\/69.91062","volume":"3","author":"M.J. Carey","year":"1991","unstructured":"M.J. Carey, R. Jauhari, and M. Livny. On Transaction Boundaries in Active Databases: A Performance Perspective. IEEE Transactions on Knowledge and Data Engineering, 3(3):320\u2013336, 1991.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"5_CR8","unstructured":"S. Chakravarthy, V. Krishnaprasad, E. Abwar, and S.K. Kim. Anatomy of a composite event detector. Technical Report Technical Report UF-CIS-TR-93-039, CIS Department, University of Florida, 1993."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"M. Chen and K. J. Lin. A Priority Ceiling Protocol for Multiple Instance Resources. In Real-Time Systems Symposium, pages 140\u2013149, December 1991.","DOI":"10.1109\/REAL.1991.160367"},{"issue":"l","key":"5_CR10","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/44203.44208","volume":"17","author":"U. Dayal","year":"1988","unstructured":"U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarthy, M. Hsu, R. Ledin, D. McCarthy, A. Rosenthal, S. Sarin, M.J. Carey, M. Livny, and R. Jauhari. The HiPAC Project: Combining Active Database and Timing Constraints. ACM SIGMOD Record, 17(l):51\u201370, 1988.","journal-title":"ACM SIGMOD Record"},{"key":"5_CR11","volume-title":"Technical Report Technical Report XAIT-89-02","author":"D.B.B.+.8.9._.U. Dayal","year":"1989","unstructured":"U. Dayal, B. Blaustein, A. Buchmann, U. Chakravathy, M. Hsu, R. Ledin, D. McCarthy, A. Rosenthal, and S. Sarin.HiPAC. A Research Project In Active, Time-Constrained Database Management. Technical Report Technical Report XAIT-89-02, Xerox Advanced Information Technology, Cambridge, 1989."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"U. Dayal, M. Hsu, and R. Ladin. Organizing Long-Running Activities with Triggers and Transactions. In ACM SIGMOD Conference, 1990.","DOI":"10.1145\/93597.98730"},{"key":"5_CR13","unstructured":"O. Diaz, N. Paton, and P. Gray. Rule Management in Object-Oriented Databases: A Uniform Approach. In International Conference on Very Large Data Bases, pages 317\u2013326, 1991."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"L. DiPippo and V. F. Wolfe. Object-Based Semantic Real-Time Concurrency Control. In Real-Time Systems Symposium, pages 87\u201396, December 1993.","DOI":"10.1109\/REAL.1993.393512"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"K. P. Eswaran, J. N. Gray, R. A. Lorie, and I. L. Traiger. The Notions of Consistency and Predicate Locks in a Database System. Communications of the ACM, pages 624\u2013633, 1976.","DOI":"10.1145\/360363.360369"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"S. Gatziu and K.R. Dittrich. Detecting Composite Events in Active Database Systems Using Petri-Nets. In International Workshop on Research Issues in Data Engineering, 1994.","DOI":"10.1109\/RIDE.1994.282859"},{"key":"5_CR17","unstructured":"N. Gehani, H.V. Jagadish, and O. Shumeh. Composite Event Specification in Active Databases: Model and Implementation. In International Conference on Very Large Data Bases, 1992."},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1145\/319983.319985","volume":"82","author":"H. Garcia-Molina","year":"1983","unstructured":"H. Garcia-Molina. Using Semantic Knowledge for Transaction Processing in a Distributed Database. ACM Transactions on Database Systems, 8(2):186\u2013213, 1983.","journal-title":"ACM Transactions on Database Systems"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"M. Hsu, R. Ladin, and D. McCarthy. An Execution Model for Active Database Management Systems. In International Conference on Data and Knowledge Bases, pages 171\u2013179, 1988.","DOI":"10.1016\/B978-1-4832-1313-2.50020-2"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"T. W. Kuo and A.K. Mok SSP: a Semantics-Based Protocol for Real-Time Data Access. In Real-Time Systems Symposium, pages 76\u201386, December 1993.","DOI":"10.1109\/REAL.1993.393513"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"K. J. Lin. Consistency Issues in Real-Time Database Systems. In Proceedings of the 22nd Annual Hawaii International Conference on System Sciences, pages 654\u2013661, January 1989.","DOI":"10.1109\/HICSS.1989.48069"},{"issue":"l","key":"5_CR22","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"C. L. Liu and J. W. Layland. Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment. Journal of ACM, 20(l):46\u201361, January 1973.","journal-title":"Journal of ACM"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"P. Muth, T.C. Rakow, G. Weikum, P. Brossler, and C. Hasse. Semantic Concurrency Control in Object-Oriented Database Systems. In 9th International Conference on Data Engineering, 1993.","DOI":"10.1109\/ICDE.1993.344059"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"H. Nakazato and K. J. Lin. Concurrency Control Algorithms for Real-Time Systems. Microprocessing and Microprogramming, pages 647\u2013654, 1993.","DOI":"10.1016\/0165-6074(93)90206-Z"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"C. S. Peng and K. J. Lin. A Semantic-Based Concurrency Control Protocol for Real-Time Transactions. In Second IEEE Real-Time Technology and Applications Symposium, Boston, Massachusetts, June 1996.","DOI":"10.1109\/RTTAS.1996.509523"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"S. Peng, J. Lin, and T. P. Ng. A Performance Study of the Semantic-Based Concurrency Control Protocol in Air Traffic Control systems. In Second Int. Real-Time Database Workshop, Burlington, Vermont, September 1997.","DOI":"10.1007\/978-1-4615-6069-2_11"},{"key":"5_CR27","unstructured":"C. Pu. Generalized Transaction Processing With Epesilon-Serializability. In Proc. of 1991 International Workshop on High Performance Transaction Systems, 1991."},{"key":"5_CR28","unstructured":"X. Song and J. Liu. Maintaining Temporal Consistency: Pessimistic vs Optimistic Concurrency Control. IEEE Transactions on Knowledge and Data Engineering, pages 787\u2013796, October 1995."},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Lui Sha, R. Rajkumar, and J. Lehoczky. Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Transactions on Computers, 39(9):1175\u20131185, September 1990.","DOI":"10.1109\/12.57058"},{"key":"5_CR30","unstructured":"M. Xiong, K. Ramamritham R. Sivasankaran, J. A. Stankovic, and D. Towsley. Scheduling Transactions with Temporal Constraints: Exploiting Data Semantics. In Real-Time Systems Symposium, pages 240\u2013251, December 1996."}],"container-title":["Lecture Notes in Computer Science","Active, Real-Time, and Temporal Database Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:25:50Z","timestamp":1739993150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49151-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540656494"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-49151-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}