This book is the proceedings of a workshop held at Heriot-Watt University in Edinburgh in August ...

This book describes rules for active database systems. It details methodologies, formal specifica...