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.

Atzeni, P., Gianforme, G., Toti, D., Polymorphism in datalog and inheritance in a metamodel (extended abstract), Paper, in SEBD 2010 - Proceedings of the 18th Italian Symposium on Advanced Database Systems, (Rimini, ita, 20-23 June 2010), Esculapio Editore, Rimini 2010: 398-405 [http://hdl.handle.net/10807/165880]

Polymorphism in datalog and inheritance in a metamodel (extended abstract)

Toti, Daniele
2010

Abstract

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
Inglese
SEBD 2010 - Proceedings of the 18th Italian Symposium on Advanced Database Systems
18th Italian Symposium on Advanced Database Systems, SEBD 2010
Rimini, ita
Paper
20-giu-2010
23-giu-2010
9788874883691
Esculapio Editore
Atzeni, P., Gianforme, G., Toti, D., Polymorphism in datalog and inheritance in a metamodel (extended abstract), Paper, in SEBD 2010 - Proceedings of the 18th Italian Symposium on Advanced Database Systems, (Rimini, ita, 20-23 June 2010), Esculapio Editore, Rimini 2010: 398-405 [http://hdl.handle.net/10807/165880]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10807/165880
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact