Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/5618
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Cunha, Alcino | - |
dc.contributor.author | Oliveira, José Nuno Fonseca | - |
dc.contributor.author | Visser, Joost | - |
dc.date.accessioned | 2006-09-28T15:41:33Z | - |
dc.date.available | 2006-09-28T15:41:33Z | - |
dc.date.issued | 2006 | - |
dc.identifier.citation | Cunha, A., Oliveira, J.N., Visser, J. (2006). Type-Safe Two-Level Data Transformation. In: Misra, J., Nipkow, T., Sekerinski, E. (eds) FM 2006: Formal Methods. FM 2006. Lecture Notes in Computer Science, vol 4085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11813040_20 | eng |
dc.identifier.isbn | 978-3-540-37215-8 | - |
dc.identifier.issn | 0302-9743 | por |
dc.identifier.uri | https://hdl.handle.net/1822/5618 | - |
dc.description.abstract | A two-level data transformation consists of a type-level transformation of a data format coupled with value-level transformations of data instances corresponding to that format. Examples of two-level data transformations include XML schema evolution coupled with document migration, and data mappings used for interoperability and persistence. We provide a formal treatment of two-level data transformations that is type-safe in the sense that the well-formedness of the value-level transformations with respect to the type-level transformation is guarded by a strong type system. We rely on various techniques for generic functional programming to implement the formalization in Haskell. The formalization addresses various two-level transformation scenarios, covering fully automated as well as user-driven transformations, and allowing transformations that are information-preserving or not. In each case, two-level transformations are disciplined by one-step transformation rules and type-level transformations induce value-level transformations. We demonstrate an example hierarchical-relational mapping and subsequent migration of relational data induced by hierarchical format evolution. | eng |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
dc.language.iso | eng | eng |
dc.publisher | Springer Verlag | eng |
dc.rights | openAccess | eng |
dc.subject | Two-level transformation | eng |
dc.subject | Program calculation | eng |
dc.subject | Refinement calculus | eng |
dc.subject | Strategic term rewriting | eng |
dc.subject | Generalized abstract datatypes | eng |
dc.subject | Generic programming | eng |
dc.subject | Coupled transformation | eng |
dc.subject | Format evolution | eng |
dc.subject | Data mappings | eng |
dc.title | Type-safe two-level data transformation | eng |
dc.type | conferencePaper | eng |
dc.peerreviewed | yes | eng |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/11813040_20 | - |
oaire.citationStartPage | 284 | por |
oaire.citationEndPage | 299 | por |
oaire.citationVolume | 4085 | por |
dc.identifier.doi | 10.1007/11813040_20 | - |
dc.identifier.eisbn | 978-3-540-37216-5 | - |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science | por |
sdum.conferencePublication | FM 2006: FORMAL METHODS, PROCEEDINGS | por |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
fm06.pdf | Article | 255,61 kB | Adobe PDF | Ver/Abrir |