Keyphrases
- expressive power
- deductive databases
- query answering
- query language
- integrity constraints
- database transactions
- workflow management systems
- scientific workflows
- datalog programs
- transaction management
- transactional data
- transaction processing
- logic programming
- workflow management
- transaction data
- petri net
- data flow
- concurrency control
- document management
- transitive closure
- workflow model
- database
- real time database systems
- database languages
- transaction model
- distributed database systems
- business processes
- logic programs
- data mining
- databases