SCDBR: An Automated Reasoner for Specifications of Database Updates

Leopoldo E. Bertossi, Marcelo Arenas, Cristian Ferretti. SCDBR: An Automated Reasoner for Specifications of Database Updates. J. Intell. Inf. Syst., 10(3):253-280, 1998.

Abstract

Abstract is missing.