A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions