Propositional deductive databases

Unfolding is especially productive when applied to propositional deductive databases. There are other methods which can be applied to these systems, and which can also be used in first-order deductive databases in some cases.