Inheritance and Polymorphism in Datalog: an experience in Model Management
Paolo Atzeni, Giorgio Gianforme · Frontiers in artificial intelligence and applications · 2009
We discuss the use of a Datalog extension that refers to a data model with inheritance in order to manage the generic dictionary of MIDST, our Model Management proposal for the generation of translation of schemas and databases from a model to another. In comparable scenarios, with structural similarities of predicates of the data model and syntactical and semantical similarities of rules, the use of hierarchies and a sort of polymorphism provide a significant simplification in the definition of complete translations (Datalog programs) and a higher level of reuse in the specification of elementary translations (Datalog rules) thus simplifying the development of such rule based systems.