A Parallel Logic Language for Transaction Specification in Multidatabase Systems.
eva KühnAhmed K. ElmagarmidYungho LeuNoureddine BoudrigaPublished in: J. Syst. Integr. (1995)
Keyphrases
- multidatabase systems
- transaction management
- concurrency control
- formal language
- transaction model
- specification language
- operational semantics
- linear temporal logic
- database systems
- transaction processing
- query optimization
- correctness criterion
- distributed database systems
- concurrency control algorithms
- concurrency control protocols
- asynchronous circuits
- semantic heterogeneity
- database management systems
- programming language
- schema integration
- multidatabase environment
- distributed databases
- language learning
- fine grained
- multiple autonomous
- logic programming
- linear logic
- database
- real time database systems
- data mining