“…An important difference that characterizes a deductive database system with respect to a relational one is that the former stores not only data, but also rules, that allow additional information to be derived from the data stored into the database. Moreover, a deductive database system offers a uniform, declarative paradigm, based on formal logic, for the static Many proposals for using active rules in databases have appeared, both commercial [3,4,19,26,36] and academic [11,14,18,21,25,30,33,37,38,40,41,42] (the latter usually being more flexible than the former). In order to assign a clear semantics to active rules, several approaches have been proposed to integrate active rules in a deductive framework.…”