The notion of a deductive database has emerged during the 1970s in order to describe database systems capable of inferring new knowledge using rules. Within this research area three kinds of rule-based extensions for traditional databases have been intensively studied: active, deductive and normative rules. Nowadays, even SQL databases use these extensions in form of triggers, views and integrity
... [Show full abstract] constraints, although with quite restricted functionality.