Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
The HiPAC project: combining active databases and timing constraints
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Organizing long-running activities with triggers and transactions
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Stack-based scheduling for realtime processes
Real-Time Systems
Semantics-based concurrency control: beyond commutativity
ACM Transactions on Database Systems (TODS)
Consistency and orderability: semantics-based correctness criteria for databases
ACM Transactions on Database Systems (TODS)
Concurrency control algorithms for real-time systems
EUROMICRO 93 Nineteenth EUROMICRO symposium on microprocessing and microprogramming on Open system design : hardware, software and applications: hardware, software and applications
Applying update streams in a soft real-time database system
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
On Transaction Boundaries in Active Databases: A Performance Perspective
IEEE Transactions on Knowledge and Data Engineering
Maintaining Temporal Consistency: Pessimistic vs. Optimistic Concurrency Control
IEEE Transactions on Knowledge and Data Engineering
Semantic Concurrency Control in Object-Oriented Database Systems
Proceedings of the Ninth International Conference on Data Engineering
Scheduling Real-time Transactions: a Performance Evaluation
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Rule Management in Object Oriented Databases: A Uniform Approach
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Composite Event Specification in Active Databases: Model & Implementation
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
A semantic-based concurrency control protocol for real-time transactions
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Scheduling transactions with temporal constraints: exploiting data semantics
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
| Hi-index | 0.01 |
The application of air traffic control systems is one of the more complex real-time applications that require timely responses as well as logical and temporal data integrities. An air traffic control system is highly safety-critical. In this paper, we propose a database model for the air traffic control system using the active database scheme to coordinate the interactions among external update transactions, time-triggered transactions and operator transactions. We define the system components, including a time-based trigger manager and a concurrency control manager with the implementation of semantic-based concurrency control protocols. The concurrency control utilizes the compatibility matrix technique with semantic-based operations that can be carefully designed to enhance the temporal correctness in terms of external consistency and data deadlines.