Formal Specification of Active Database Functionality: A Survey

Norman W. Paton, Jack Campin, Alvaro A. A. Fernandes, M. Howard Williams. Formal Specification of Active Database Functionality: A Survey. In Timos K. Sellis, editor, Rules in Database Systems, Second International Workshop, RIDS 95, Glyfada, Athens, Greece, September 25 - 27, 1995, Proceedings. Volume 985 of Lecture Notes in Computer Science, pages 21-37, Springer, 1995.

Abstract

Abstract is missing.