Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

SLFD Logic: Elimination of Data Redundancy in Knowledge Representation

Pablo CorderoContact Information, Manolo EncisoContact Information, Angel MoraContact Information and Inmaculada P. de GuzmánContact Information

(3)  E.T.S.I. Informática, Universidad de Málaga, 29071 Málaga, Spain
Abstract
In this paper, we propose the use of formal techniques on Software Engineering in two directions: 1)We present, within the general framework of lattice theory, the analysis of relational databases. To do that, we characterize the concept of f-family (Armstrong relations) by means of a new concept which we call non-deterministic ideal operator. This characterization allows us to formalize database redundancy in a more significant way than it was thought of in the literature. 2) We introduce the Substitution Logic SL FD for functional dependencies that will allows us the design of automatic transformations of data models to remove redundancy.

Contact Information Pablo Cordero
Email: pcordero@uma.es

Contact Information Manolo Enciso
Email: enciso@uma.es

Contact Information Angel Mora
Email: amora@ctima.uma.es

Contact Information Inmaculada P. de Guzmán
Email: guzman@ctima.uma.es
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.109 • Server: mpweb23
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)