Polymorphism in Datalog and Inheritance in a Metamodel
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 b...
Saved in:
Published in | Foundations of Information and Knowledge Systems pp. 114 - 132 |
---|---|
Main Authors | , , |
Format | Book Chapter |
Language | English |
Published |
Berlin, Heidelberg
Springer Berlin Heidelberg
|
Series | Lecture Notes in Computer Science |
Subjects | |
Online Access | Get full text |
Cover
Loading…
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. |
---|---|
AbstractList | 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. |
Author | Gianforme, Giorgio Toti, Daniele Atzeni, Paolo |
Author_xml | – sequence: 1 givenname: Paolo surname: Atzeni fullname: Atzeni, Paolo – sequence: 2 givenname: Giorgio surname: Gianforme fullname: Gianforme, Giorgio – sequence: 3 givenname: Daniele surname: Toti fullname: Toti, Daniele |
BookMark | eNpFkEFOwzAURA0Uibb0BixyAYO_v2PHS1QoVCqCBawtJ3baQGJXcTbcnqQgMZuRZqSR5i3ILMTgCbkBdguMqTutCopUCk4BCq6pNMDOyALH5BTAOZmDBKCIQl_8FwXOyJwh41QrgVdkldInG4V5njM1J_Ittt9d7I-HJnVZE7IHO9g27jMbXLYNB983gw2VnyqbvfjBdtH59ppc1rZNfvXnS_KxeXxfP9Pd69N2fb-jCXQxUM69Q6uw1tpqLEE5yJmuCu6859w5qWsnLAhdlbkonRWyzKX0Fr2qAEuNS8J_d9Oxb8Le96aM8SuN582ExYxYDJrxqzlRMBMW_AFDlFJg |
ContentType | Book Chapter |
Copyright | Springer-Verlag Berlin Heidelberg 2010 |
Copyright_xml | – notice: Springer-Verlag Berlin Heidelberg 2010 |
DOI | 10.1007/978-3-642-11829-6_10 |
DatabaseTitleList | |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Mathematics Computer Science |
EISBN | 3642118291 9783642118296 |
EISSN | 1611-3349 |
Editor | Prade, Henri Link, Sebastian |
Editor_xml | – sequence: 1 givenname: Sebastian surname: Link fullname: Link, Sebastian email: sebastian.link@vuw.ac.nz – sequence: 2 givenname: Henri surname: Prade fullname: Prade, Henri email: henri.prade@irit.fr |
EndPage | 132 |
GroupedDBID | -DT -GH -~X 1SB 29L 2HA 2HV 5QI 875 AASHB ABMNI ACGFS ADCXD AEFIE ALMA_UNASSIGNED_HOLDINGS EJD F5P FEDTE HVGLF LAS LDH P2P RIG RNI RSU SVGTG VI1 ~02 |
ID | FETCH-LOGICAL-s198t-22ed3a73f99a93b17d1509c82dee22dd69fd4a149cb54bda46b566ea3e7c13b93 |
ISBN | 3642118283 9783642118289 |
ISSN | 0302-9743 |
IngestDate | Tue Oct 01 19:51:56 EDT 2024 |
IsPeerReviewed | true |
IsScholarly | true |
Language | English |
LinkModel | OpenURL |
MergedId | FETCHMERGED-LOGICAL-s198t-22ed3a73f99a93b17d1509c82dee22dd69fd4a149cb54bda46b566ea3e7c13b93 |
PageCount | 19 |
ParticipantIDs | springer_books_10_1007_978_3_642_11829_6_10 |
PublicationPlace | Berlin, Heidelberg |
PublicationPlace_xml | – name: Berlin, Heidelberg |
PublicationSeriesTitle | Lecture Notes in Computer Science |
PublicationSubtitle | 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings |
PublicationTitle | Foundations of Information and Knowledge Systems |
Publisher | Springer Berlin Heidelberg |
Publisher_xml | – name: Springer Berlin Heidelberg |
RelatedPersons | Kleinberg, Jon M. Mattern, Friedemann Nierstrasz, Oscar Steffen, Bernhard Kittler, Josef Vardi, Moshe Y. Weikum, Gerhard Sudan, Madhu Naor, Moni Mitchell, John C. Terzopoulos, Demetri Pandu Rangan, C. Kanade, Takeo Hutchison, David Tygar, Doug |
RelatedPersons_xml | – sequence: 1 givenname: David surname: Hutchison fullname: Hutchison, David – sequence: 2 givenname: Takeo surname: Kanade fullname: Kanade, Takeo – sequence: 3 givenname: Josef surname: Kittler fullname: Kittler, Josef – sequence: 4 givenname: Jon M. surname: Kleinberg fullname: Kleinberg, Jon M. – sequence: 5 givenname: Friedemann surname: Mattern fullname: Mattern, Friedemann – sequence: 6 givenname: John C. surname: Mitchell fullname: Mitchell, John C. – sequence: 7 givenname: Moni surname: Naor fullname: Naor, Moni – sequence: 8 givenname: Oscar surname: Nierstrasz fullname: Nierstrasz, Oscar – sequence: 9 givenname: C. surname: Pandu Rangan fullname: Pandu Rangan, C. – sequence: 10 givenname: Bernhard surname: Steffen fullname: Steffen, Bernhard – sequence: 11 givenname: Madhu surname: Sudan fullname: Sudan, Madhu – sequence: 12 givenname: Demetri surname: Terzopoulos fullname: Terzopoulos, Demetri – sequence: 13 givenname: Doug surname: Tygar fullname: Tygar, Doug – sequence: 14 givenname: Moshe Y. surname: Vardi fullname: Vardi, Moshe Y. – sequence: 15 givenname: Gerhard surname: Weikum fullname: Weikum, Gerhard |
SSID | ssj0000355507 ssj0002792 |
Score | 1.7691053 |
Snippet | 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... |
SourceID | springer |
SourceType | Publisher |
StartPage | 114 |
SubjectTerms | Data Dictionary Main Construct Mutual Exclusion Translation Process Translation Rule |
Title | Polymorphism in Datalog and Inheritance in a Metamodel |
URI | http://link.springer.com/10.1007/978-3-642-11829-6_10 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV2_b9UwELagTDAUCggQoAxsT0GJ7cTxwIBQoSp9FcMr6hbZsYOeBInUmIH-9b3zjzTlVUhliaLYip37ksv5fN8dIe960RWC9gV8aVWXc02rXGpOcwynVKLsO6OR77w-rY_O-PF5dX4dbuvZJU6_7y5v5ZX8D6pwDXBFluwdkJ1vChfgHPCFIyAMx7-M35tu1lhUMxVEmgIfZOYh-g2Br8lZdiMpOULrLq2v4wTWI2i-OQAH3hO8g3dwftmOFz-2c9tmdEs--vI1-zb-_PNrBLCw2MZ2gC7eHRTDjJFc6DwpAZrUam2d8qV3gi7DHMvTh5O4i3E6Oh8ctkqFJpLe2XFCrv6Ro8vzRTjFBU0oGpRoW6CSYVETtJwNWrjG3Ios5DKNmrUMXNP4ky6DU3RH_y9DPmCwHEeTed0iCe--kKD2Hnw8PD75PrvhCrC3fEa3-PPGfIph4ynMCulAadYsJGy6fooFFfO2IXc2173NsnlMHiGPJUOCCQjzCblnhwOyn4SbReEekIfrOXPv9JTUS0Cz7ZBFQDMANFsAik0qmwF9Rs4-H24-HeWxtkY-lbJxOaXWMCVYL6WSTJfCwMpAdg011lJqTC17wxUsnztdcW0UrzUY_lYxK7qSacmek71hHOwLklWFKVXR9A3rBZdcKWua2khR2kZAR_uSrJIYWvxapjalygahtawFobVeaC0K7dWder8me-7it30DhqHTbyO4VwyNXcU |
link.rule.ids | 785,786,790,799,27958 |
linkProvider | Library Specific Holdings |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Foundations+of+Information+and+Knowledge+Systems&rft.au=Atzeni%2C+Paolo&rft.au=Gianforme%2C+Giorgio&rft.au=Toti%2C+Daniele&rft.atitle=Polymorphism+in+Datalog+and+Inheritance+in+a+Metamodel&rft.series=Lecture+Notes+in+Computer+Science&rft.pub=Springer+Berlin+Heidelberg&rft.isbn=9783642118289&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=114&rft.epage=132&rft_id=info:doi/10.1007%2F978-3-642-11829-6_10 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0302-9743&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0302-9743&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0302-9743&client=summon |