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...
Guardado en:
| 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 |