A New Framework for the Specification and the Implementation of Active Database Systems