Hi all,

I'm researching two-way conversion methods available for converting
between the constructs in the relational data model (i.e., the
relations) and those of deductive databases (e.g., Datalog-based
databases). I'm aware of the basic mappings between the intensional
and extensional constructs in the Relational Model and those of
deductive databases (for example, considering each relation as a
predicate), but I'm looking for a theoretical ground for such
mappings.

Any help is greatly appreciated.

Best regards,
Ehsan Akhgari