Using Logic Programming to Represent Information Content Inclusion Relations
Datalog is a widely recognised language for a certain class of deductive databases. Information Content Inclusion Relation (IIR) formulates a general, information theoretic relationship between: data constructs; between data constructs and real world objects, and between real world objects. IIR is particularly concerned with the information that data carry. It would therefore seem desirable to find out whether IIR and reasoning based on IIR may be implemented by using 'Safe' Datalog. The authors present and prove the following theorem: "Any database system that can be modelled using IIR can be represented as a 'Safe' Datalog program."