Executing serializable transactions within a hard real-time database system.

Published in: HiPC (1998)

Keyphrases

concurrency control
correctness criteria
database systems
correctness criterion
snapshot isolation
transaction management
transaction processing
multidatabase systems
concurrent execution
transaction model
concurrency control mechanism
concurrency control protocols

database management systems
distributed database systems
transaction processing systems
replicated databases
object oriented database systems
commercial database systems
database
distributed databases
update propagation
database technology
data model
fine grained

multilevel secure
data management
query optimization
data types
parallel execution
databases
database operations
database applications
linear logic
real time database systems
object oriented

data replication
high scalability
database transactions
integrity constraints
application programs
management system
relational database systems
cost model
query processing
data mining
fault tolerance