An efficient algorithm for reasoning about fuzzy functional dependencies

Authors:
P. Cordero;M. Enciso;A. Mora;I. Pérez de Guzmán;J. M. Rodríguez-Jiménez
Affiliations:
Universidad de Málaga, Spain;Universidad de Málaga, Spain;Universidad de Málaga, Spain;Universidad de Málaga, Spain;Universidad de Málaga, Spain
Venue:
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Year:
2011

Citing 7
Cited 1

Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems

ACM Transactions on Database Systems (TODS)
The structure of the relational database model

The structure of the relational database model
An extension of classical functional dependency: dynamic fuzzy functional dependency

Information Sciences: an International Journal - Relational methods in computer science
A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations

Fuzzy Sets and Systems
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation

IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Codd's Relational Model of Data and Fuzzy Logic: Comparisons, Observations, and Some New Results

CIMCA '06 Proceedings of the International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations

IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence

Automated inference with fuzzy functional dependencies over graded data

IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advences in computational intelligence - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

A sound and complete Automated Prover for the Fuzzy Simplification Logic (FSL logic) is introduced and based on it a method for efficiently reasoning about fuzzy functional dependencies over domains with similarity relations. The complexity of the algorithm is the same as that of equivalent algorithms for crisp functional dependencies that appear in the literature.