Work place: Database and Semantic Web Group, School of Computing, The University of the West of Scotland, Paisley, Scotland
Douglas Salt: BSc Hons was born in the UK and graduated with the Open University. Before graduating he spent 25 years in the commercial computing industry, working as a developer through to project lead. He has a wide experience of many database and development paradigms. He is currently undertaking a PhD at the University of the West of Scotland.
DOI: https://doi.org/10.5815/ijitcs.2012.01.07, Pub. Date: 8 Feb. 2012
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.
Subscribe to receive issue release notifications and newsletters from MECS Press journals