Nested Transactions in a Logical Language for Active Rules.
Bertram LudäscherWolfgang MayGeorg LausenPublished in: Logic in Databases (1996)
Keyphrases
- nested transactions
- logical language
- active rules
- active databases
- formal semantics
- transaction model
- concurrency control
- integrity constraints
- situation calculus
- object oriented databases
- deductive databases
- business rules
- database
- database technology
- distributed databases
- database management systems
- artificial intelligence
- databases
- temporal databases
- distributed environment
- data management
- mobile devices