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 logical 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
Datalog-based 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
