Declarative Semantics of Passive and Active Updates in Logic Databases

Paul Spruit, John-Jules Ch. Meyer. Declarative Semantics of Passive and Active Updates in Logic Databases. In FMLDO. pages 37-46, 1991.

Abstract

Abstract is missing.