Title: Logical foundations of active databases
First published: 2003