Generic data processing: a normalization exercise

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...

Descripción completa

Detalles Bibliográficos
Autores principales: Necco, Claudia Mónica, Oliveira, J. Nuno
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2002
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23151
Aporte de:
id I19-R120-10915-23151
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Generic programming
polytypic programming
functional programming
program calculation
data reification
Normal forms
ADMINISTRATIVE DATA PROCESSING
spellingShingle Ciencias Informáticas
Generic programming
polytypic programming
functional programming
program calculation
data reification
Normal forms
ADMINISTRATIVE DATA PROCESSING
Necco, Claudia Mónica
Oliveira, J. Nuno
Generic data processing: a normalization exercise
topic_facet Ciencias Informáticas
Generic programming
polytypic programming
functional programming
program calculation
data reification
Normal forms
ADMINISTRATIVE DATA PROCESSING
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.
format Objeto de conferencia
Objeto de conferencia
author Necco, Claudia Mónica
Oliveira, J. Nuno
author_facet Necco, Claudia Mónica
Oliveira, J. Nuno
author_sort Necco, Claudia Mónica
title Generic data processing: a normalization exercise
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
publishDate 2002
url http://sedici.unlp.edu.ar/handle/10915/23151
work_keys_str_mv AT neccoclaudiamonica genericdataprocessinganormalizationexercise
AT oliveirajnuno genericdataprocessinganormalizationexercise
bdutipo_str Repositorios
_version_ 1764820465700831233