Using Logic Programming to Represent Information Content Inclusion Relations

Doug Salt, Junkang Feng

Research output: Contribution to journalArticlepeer-review


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. We present and prove the following theorem:
Any database system that can be modelled using IIR can be represented as a 'safe' Datalog program.}
This paper explores the nature of the relationship between the two frameworks for representing domains of application, in order that such representations of IIR by 'safe' Datalog can then be used as a tool for the analysis of any site that can be approached with the notion of information content, and in particular any given database, and hence how a database works may be approached in terms of information content of events.
Original languageEnglish
Pages (from-to)50-63
JournalInternational Journal of Information Technology and Computer Science(IJITCS)
Issue number1
Publication statusPublished - Feb 2012


Dive into the research topics of 'Using Logic Programming to Represent Information Content Inclusion Relations'. Together they form a unique fingerprint.

Cite this