Generic data processing: a normalization exercise

Autores
Necco, Claudia Mónica; Oliveira, J. Nuno
Año de publicación
2002
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Teoría
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Generic programming
polytypic programming
functional programming
program calculation
data reification
Normal forms
ADMINISTRATIVE DATA PROCESSING
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/23151

id SEDICI_b7312d19f9db6db9a84b88c614d2707e
oai_identifier_str oai:sedici.unlp.edu.ar:10915/23151
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Generic data processing: a normalization exerciseNecco, Claudia MónicaOliveira, J. NunoCiencias InformáticasGeneric programmingpolytypic programmingfunctional programmingprogram calculationdata reificationNormal formsADMINISTRATIVE DATA PROCESSINGThis 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.Eje: TeoríaRed de Universidades con Carreras en Informática (RedUNCI)2002-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf751-761http://sedici.unlp.edu.ar/handle/10915/23151enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:55:20Zoai:sedici.unlp.edu.ar:10915/23151Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:55:21.128SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Generic data processing: a normalization exercise
title Generic data processing: a normalization exercise
spellingShingle Generic data processing: a normalization exercise
Necco, Claudia Mónica
Ciencias Informáticas
Generic programming
polytypic programming
functional programming
program calculation
data reification
Normal forms
ADMINISTRATIVE DATA PROCESSING
title_short Generic data processing: a normalization exercise
title_full Generic data processing: a normalization exercise
title_fullStr Generic data processing: a normalization exercise
title_full_unstemmed Generic data processing: a normalization exercise
title_sort Generic data processing: a normalization exercise
dc.creator.none.fl_str_mv Necco, Claudia Mónica
Oliveira, J. Nuno
author Necco, Claudia Mónica
author_facet Necco, Claudia Mónica
Oliveira, J. Nuno
author_role author
author2 Oliveira, J. Nuno
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Generic programming
polytypic programming
functional programming
program calculation
data reification
Normal forms
ADMINISTRATIVE DATA PROCESSING
topic Ciencias Informáticas
Generic programming
polytypic programming
functional programming
program calculation
data reification
Normal forms
ADMINISTRATIVE DATA PROCESSING
dc.description.none.fl_txt_mv 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.
Eje: Teoría
Red de Universidades con Carreras en Informática (RedUNCI)
description 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.
publishDate 2002
dc.date.none.fl_str_mv 2002-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/23151
url http://sedici.unlp.edu.ar/handle/10915/23151
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
751-761
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615812293328896
score 13.070432