Formalization of provenes fuzzy functional depandency in fuzzy databases

In this paper we establish equivalence between a theory of fuzzy functional dependences and a fragment of fuzzy logic. We give a way to interpret fuzzy functional dependences as formulas in fuzzy logic. This goal is realized in a few steps. Truth assignment of attributes is defined in terms of close...

Descripción completa

Detalles Bibliográficos
Autores: Dukić, Nedžad, Avdagić, Zikrija
Tipo de recurso: artículo
Fecha de publicación:2004
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2099/3633
Acceso en línea:https://hdl.handle.net/2099/3633
Access Level:acceso abierto
Palabra clave:Fuzzy relation database
Fuzzy functional dependency
Fuzzy logic
Resolution
Lògica matemàtica
Classificació AMS::03 Mathematical logic and foundations::03B General logic
id ES_2ae78e6e35ee1f1bb77471eedffd8b6a
oai_identifier_str oai:upcommons.upc.edu:2099/3633
network_acronym_str ES
network_name_str España
repository_id_str
spelling Formalization of provenes fuzzy functional depandency in fuzzy databasesDukić, NedžadAvdagić, ZikrijaFuzzy relation databaseFuzzy functional dependencyFuzzy logicResolutionLògica matemàticaClassificació AMS::03 Mathematical logic and foundations::03B General logicIn this paper we establish equivalence between a theory of fuzzy functional dependences and a fragment of fuzzy logic. We give a way to interpret fuzzy functional dependences as formulas in fuzzy logic. This goal is realized in a few steps. Truth assignment of attributes is defined in terms of closeness between two tuples in a fuzzy relation. A corresponding fuzzy formula is associated to a fuzzy functional dependence. It is proved that if a relation satisfies a fuzzy functional dependence, then the corresponding fuzzy formula is satisfied and vice verse. Finally, equivalence of a fuzzy formulas and a set fuzzy functional dependence is demonstrated. Thus we are in position to apply the rule of resolution from fuzzy logic, while calculating fuzzy functional dependences.Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica20042004-01-0120072007-10-03journal articlehttp://purl.org/coar/resource_type/c_6501NAhttp://purl.org/coar/version/c_be7fb7dd8ff6fe43info:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/2099/3633reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2http://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2099/36332026-05-27T15:37:01Z
dc.title.none.fl_str_mv Formalization of provenes fuzzy functional depandency in fuzzy databases
title Formalization of provenes fuzzy functional depandency in fuzzy databases
spellingShingle Formalization of provenes fuzzy functional depandency in fuzzy databases
Dukić, Nedžad
Fuzzy relation database
Fuzzy functional dependency
Fuzzy logic
Resolution
Lògica matemàtica
Classificació AMS::03 Mathematical logic and foundations::03B General logic
title_short Formalization of provenes fuzzy functional depandency in fuzzy databases
title_full Formalization of provenes fuzzy functional depandency in fuzzy databases
title_fullStr Formalization of provenes fuzzy functional depandency in fuzzy databases
title_full_unstemmed Formalization of provenes fuzzy functional depandency in fuzzy databases
title_sort Formalization of provenes fuzzy functional depandency in fuzzy databases
dc.creator.none.fl_str_mv Dukić, Nedžad
Avdagić, Zikrija
author Dukić, Nedžad
author_facet Dukić, Nedžad
Avdagić, Zikrija
author_role author
author2 Avdagić, Zikrija
author2_role author
dc.subject.none.fl_str_mv Fuzzy relation database
Fuzzy functional dependency
Fuzzy logic
Resolution
Lògica matemàtica
Classificació AMS::03 Mathematical logic and foundations::03B General logic
topic Fuzzy relation database
Fuzzy functional dependency
Fuzzy logic
Resolution
Lògica matemàtica
Classificació AMS::03 Mathematical logic and foundations::03B General logic
description In this paper we establish equivalence between a theory of fuzzy functional dependences and a fragment of fuzzy logic. We give a way to interpret fuzzy functional dependences as formulas in fuzzy logic. This goal is realized in a few steps. Truth assignment of attributes is defined in terms of closeness between two tuples in a fuzzy relation. A corresponding fuzzy formula is associated to a fuzzy functional dependence. It is proved that if a relation satisfies a fuzzy functional dependence, then the corresponding fuzzy formula is satisfied and vice verse. Finally, equivalence of a fuzzy formulas and a set fuzzy functional dependence is demonstrated. Thus we are in position to apply the rule of resolution from fuzzy logic, while calculating fuzzy functional dependences.
publishDate 2004
dc.date.none.fl_str_mv 2004
2004-01-01
2007
2007-10-03
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
NA
http://purl.org/coar/version/c_be7fb7dd8ff6fe43
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/2099/3633
url https://hdl.handle.net/2099/3633
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2

http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2

http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
publisher.none.fl_str_mv Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869405101955743744
score 15,301603

Similares en LA Referencia