Formal Semantics of Dynamic Constraints and Derivation Rules in ORM.
Herman BalstersTerry A. HalpinPublished in: Int. J. Inf. Syst. Model. Des. (2016)
Keyphrases
- formal semantics
- dynamic constraints
- derivation rules
- active rules
- conceptual modeling
- control flow
- active databases
- first order logic
- temporal logic
- functional dependencies
- integrity constraints
- business rules
- object oriented databases
- modeling language
- deductive databases
- information systems
- answer set programming
- business processes
- object oriented
- case study