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...
Autores principales: | , |
---|---|
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 |