This paper review research on the formal specification of active behaviour, indicating both what has been done in this area, and how. The scope of different approaches is compared within a common framework, which reveals that although many aspects of active behaviour have been described formally, no single proposal covers all phemena associated with active database systems.