Formal Specification of Active Database Functionality: A Survey.
Norman W. PatonJack CampinAlvaro A. A. FernandesM. Howard WilliamsPublished in: Rules in Database Systems (1995)
Keyphrases
- formal specification
- active databases
- active database systems
- model checking
- business rules
- active rules
- object oriented design
- database technology
- process algebra
- reverse engineering
- concurrent systems
- description language
- formal methods
- software components
- eca rules
- integrity constraints
- databases
- temporal databases
- database
- transaction processing
- rule base
- data warehousing
- distributed systems
- relational databases