A/D CASE: A NEW HEART FOR FD3

A. Mora, M. Enciso, P. Cordero, I. Pérez de Guzmán, J. Guerrero

2004

Abstract

In (Enciso and Mora, 2002) we introduce the Functional Dependencies Data Dictionary (F D3) as an architecture to facilitate the integration of database Systems. We propose the use of logics based on the notion of Functional Dependencies (FD) to allows formal specification of the objects of a data model and to conceive future automated treatment. The existence of a FD logic provides a formal language suitable to carry out integration tasks and eases the design of an automatic integration process based in the axiomatic system of the FD logic. Besides that, F D3, provides a High Level Functional Dependencies (HLFD) Data Model which is used in a similar way as the Entity/Relationship Model. In this paper, we develop a CASE tool named A/D CASE (Attribute/Dependence CASE) that illustrates the practical benefits of the F D3 architecture. In the development of A/D CASE we have taken into account other theoretical results which improve our original F D3 proposal (Enciso and Mora, 2002). Particularly: • A new functional dependencies logic named SLF D for removing redundancy in a database sub-model that we present in (Mora, 2002; Cordero et al., 2002a). The use of SLF D add formalization to software engineering process. • An efficient preprocessing transformation based on the substitution paradigm that we present in (Mora et al., 2003). Unlike A/D CASE is independent from the Relational Model, it can be integrated into different database systems and it is compatible with relational DBMSs.

References

  1. Armstrong, W. W. (1974). Dependency structures of data base references. IFIP Cont. Poc.
  2. Atzeni, P. and Antonellis, V. D. (1993). Relational Database Theory. Benjamin/Cummings.
  3. Atzeni, P. and Torlone, R. (1997). Mdm: a multipledata-model tool for the management of heterogeneous database schemes. ACM-SIGMOD.
  4. Bertino, E., Catania, B., and Zarri, G. P. (2001). Intelligent database systems. ACM Press. Addison-Wesley.
  5. Biskup, J. and Convent, B. (1991). Relational chase procedures interpreted as resolution with paramodulation. Fundamenta Informaticae, 15 (8):123-138.
  6. Calders, T. and Paredaens, J. (2003). Axiomatization of frequent itemsets. TCS, 290 (1):669-693.
  7. Cordero, P., Enciso, M., Guzmán, I. P. d., and Mora, A. (2002). SLfd logic: Elimination of data redundancy in knowledge representation. LNAI 2527, pages 141- 150.
  8. Cordero, P., Enciso, M., Mora, A., and Guzmán, I. P. d. (2002). Modelo de datos de dependencias funcionales para un entorno turstico cooperativo. Proceedings TURITEC 2002, pages 61-76.
  9. Coulondre, S. (2003). A top-down proof procedure for generalized data dependencies. Acta Inform ática, 39:1- 29.
  10. Enciso, M. and Mora, A. (2002). FD3: A functional dependencies data dictionary. Proceedings of ICEIS, 2:807- 811.
  11. Fagin, R. (1977). Functional dependencies in a relational database and propositional logic. IBM. Journal of research and development, 21 (6):534-544.
  12. Fagin, R. (1977). Multivalued dependencies and a new normal form for relational databases. ACM TODS 2.
  13. Ibaraki, T., Kogan, A., and Makino, K. (1999). Functional dependencies in horn theories. Arti cial Intelligence, 108 1-2:1-30.
  14. Lakshmanan, V. S. and Veni Madhavan, C. E. (1987). An algebraic theory of functional and multivalued dependencies in relational databases. TCS, 54, 1:103-128.
  15. Lee, M. L., Ling, T. W., and Low, W. L. (2002). Designing functional dependencies for XML. LNCS. EDTB 2002 Proceedings., 2287:124-141.
  16. Lopes, S., Petit, J.-M., and Lakhal, L. (2000). Ef cient discovery of functional dependencies and armstrong relations. EDBT 2000, LNCS, 1777:350-364.
  17. Lopes, S., Petit, J.-M., and Toumani, F. (2002). Discovering interesting inclusion dependencies: application to logical database tuning. Information Systems, 27 1:1-19.
  18. Mora, A. (2002). Dependencias funcionales, idealoperadores no deterministas y operadores de sustitución. PhD Thesis. UMA.
  19. Mora, A., Enciso, M., Cordero, P., and Guzmán, I. P. d. (2003). An ef cient preprocessing transformation based on the substitution paradigm. CAEPIA 2003. LNAI. Springer Verlag.
  20. Paredaens, J., De Bra, P., Gyssens, M., and Van Gucht, D. V. (1989). The structure of the relational database model. EATCS Monographs on TCS.
Download


Paper Citation


in Harvard Style

Mora A., Enciso M., Cordero P., Pérez de Guzmán I. and Guerrero J. (2004). A/D CASE: A NEW HEART FOR FD3 . In Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 972-8865-00-7, pages 482-487. DOI: 10.5220/0002629004820487


in Bibtex Style

@conference{iceis04,
author={A. Mora and M. Enciso and P. Cordero and I. Pérez de Guzmán and J. Guerrero},
title={A/D CASE: A NEW HEART FOR FD3},
booktitle={Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2004},
pages={482-487},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002629004820487},
isbn={972-8865-00-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - A/D CASE: A NEW HEART FOR FD3
SN - 972-8865-00-7
AU - Mora A.
AU - Enciso M.
AU - Cordero P.
AU - Pérez de Guzmán I.
AU - Guerrero J.
PY - 2004
SP - 482
EP - 487
DO - 10.5220/0002629004820487