Busque entre los 168474 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-10-29T15:13:46Z | |
dc.date.available | 2012-10-29T15:13:46Z | |
dc.date.issued | 2002-10 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/23151 | |
dc.description.abstract | This paper describes an exercise in generic data normalization theory using a data reification calculus base on the categorial approach to datatypes. We develop a relational data model in a functional language and then use transformations to refine it. The exercise removes data redundancy in close similarity to conventional relational techniques, which extract functional dependences by schema decomposition [Mai83]. Finally the model is extended using the principles of generic programming, suggesting how to scale up normalization theory to arbitrary data. | en |
dc.format.extent | 751-761 | es |
dc.language | en | es |
dc.subject | Generic programming | en |
dc.subject | Normal forms | es |
dc.subject | polytypic programming | en |
dc.subject | ADMINISTRATIVE DATA PROCESSING | es |
dc.subject | functional programming | en |
dc.subject | program calculation | en |
dc.subject | data reification | en |
dc.title | Generic data processing: a normalization exercise | en |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Necco, Claudia Mónica | es |
sedici.creator.person | Oliveira, J. Nuno | es |
sedici.description.note | Eje: Teoría | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2002-10 | |
sedici.relation.event | VIII Congreso Argentino de Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |