Inheritance and Polymorphism in Datalog: an experience in Model Management

P. Atzeni,G. Gianforme
DOI: https://doi.org/10.3233/978-1-58603-957-8-354
2009-07-10
Abstract: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.
What problem does this paper attempt to address?