Rules in database systems (Springer, 1995)