Polymorphism in Datalog and Inheritance in a Metamodel

Daniele Toti, Paolo Atzeni, Giorgio Gianforme

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)


We discuss the restructuring of a metamodel designed for representing several data models in a uniform way. This metamodel is currently used within MIDST, our Model Management proposal for performing translations of schemas and databases from a model to another. Such a restructuring is carried out by introducing hierarchies and, consequently, extending Datalog by providing it with inheritance and polymorphism in order to take advantage of them. In comparable scenarios, where predicates of the metamodel share structural elements and rules are syntactically and semantically similar, the use of hierarchies and a particular form of polymorphism provide significant advantages. These advantages range from simplifying the specification of elementary and complete translations (i.e. Datalog rules and programs, respectively) to ensuring a higher level of reuse for them, thus further improving the development of such rule-based systems. © 2010 Springer Berlin Heidelberg.
Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number of pages19
Publication statusPublished - 2010
Event6th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2010 - Sofia, bgr
Duration: 15 Feb 201019 Feb 2010

Publication series



Conference6th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2010
CitySofia, bgr


  • datalog
  • metamodel
  • polymorphism


Dive into the research topics of 'Polymorphism in Datalog and Inheritance in a Metamodel'. Together they form a unique fingerprint.

Cite this