“…Thus recent developments in query optimisation [1,9,10,11,14] make use of the semantic information inherent in integrity constraints, together with rules derived from the data itself, to transform user queries into semantically equivalent alternatives which execute in far less time. Also many systems, such as taxation and social security, now incorporate facilities for interrogating the constraint base to provide answers to hypothetical 'what if' questions, e.g.…”