IPL: A Multidatabase Transaction Specification Language.
Jiansan ChenOmran A. BukhresAhmed K. ElmagarmidPublished in: ICDCS (1993)
Keyphrases
- specification language
- transaction management
- transaction model
- multidatabase systems
- concurrency control
- description language
- formal specification
- database systems
- programming language
- nested transactions
- transaction processing
- multidatabase environment
- query optimization
- distributed database systems
- symbolic execution
- heterogeneous database systems
- requirements specification
- active databases
- software environment
- distributed databases
- databases
- database management systems
- software architecture
- real time database systems
- workflow management
- high level
- database
- machine learning
- artificial intelligence
- reinforcement learning
- data structure
- data model
- object oriented
- general purpose
- model checking