Formal equivalence classes model of fuzzy relational databases using relational calculus

Mohammad Deni Akbar, Yoshihiro Mizoguchi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

One of our goals is to formalize an equivalence class(FEC) of the fuzzy relational database(FRDB). FRDB, an extension of RDB using a soft computing technique, fuzzy theory. Using our relational formulas of relational calculus, we can denote its properties by simple and correct formulas. Also, we can prove its properties formally using relational calculus. There are many applications of FRDB such as managing hyperlinks of web pages, customer relationship management (CRM), etc. Our motivation is developing formal verification tools for a software system using FEC of FRDB.We also formalize database operations such as "projection", "selection", and "natural join". We prove several elementary properties of natural join operations using our formalization.

Original languageEnglish
Title of host publicationProceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1-6
Number of pages6
Volume2017-January
ISBN (Electronic)9781509040483
DOIs
Publication statusPublished - Dec 4 2017
Event1st International Conference on Applied Computer and Communication Technologies, ComCom 2017 - Jakarta, Indonesia
Duration: May 17 2017May 18 2017

Other

Other1st International Conference on Applied Computer and Communication Technologies, ComCom 2017
CountryIndonesia
CityJakarta
Period5/17/175/18/17

Fingerprint

Equivalence classes
Soft computing
Websites
Relational database
Equivalence
Join

All Science Journal Classification (ASJC) codes

  • Strategy and Management
  • Computer Networks and Communications
  • Computer Science Applications

Cite this

Akbar, M. D., & Mizoguchi, Y. (2017). Formal equivalence classes model of fuzzy relational databases using relational calculus. In Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017 (Vol. 2017-January, pp. 1-6). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/COMCOM.2017.8167090

Formal equivalence classes model of fuzzy relational databases using relational calculus. / Akbar, Mohammad Deni; Mizoguchi, Yoshihiro.

Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017. Vol. 2017-January Institute of Electrical and Electronics Engineers Inc., 2017. p. 1-6.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Akbar, MD & Mizoguchi, Y 2017, Formal equivalence classes model of fuzzy relational databases using relational calculus. in Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017. vol. 2017-January, Institute of Electrical and Electronics Engineers Inc., pp. 1-6, 1st International Conference on Applied Computer and Communication Technologies, ComCom 2017, Jakarta, Indonesia, 5/17/17. https://doi.org/10.1109/COMCOM.2017.8167090
Akbar MD, Mizoguchi Y. Formal equivalence classes model of fuzzy relational databases using relational calculus. In Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017. Vol. 2017-January. Institute of Electrical and Electronics Engineers Inc. 2017. p. 1-6 https://doi.org/10.1109/COMCOM.2017.8167090
Akbar, Mohammad Deni ; Mizoguchi, Yoshihiro. / Formal equivalence classes model of fuzzy relational databases using relational calculus. Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017. Vol. 2017-January Institute of Electrical and Electronics Engineers Inc., 2017. pp. 1-6
@inproceedings{71c2dfdbfb144d969a506cc23e9a9b6c,
title = "Formal equivalence classes model of fuzzy relational databases using relational calculus",
abstract = "One of our goals is to formalize an equivalence class(FEC) of the fuzzy relational database(FRDB). FRDB, an extension of RDB using a soft computing technique, fuzzy theory. Using our relational formulas of relational calculus, we can denote its properties by simple and correct formulas. Also, we can prove its properties formally using relational calculus. There are many applications of FRDB such as managing hyperlinks of web pages, customer relationship management (CRM), etc. Our motivation is developing formal verification tools for a software system using FEC of FRDB.We also formalize database operations such as {"}projection{"}, {"}selection{"}, and {"}natural join{"}. We prove several elementary properties of natural join operations using our formalization.",
author = "Akbar, {Mohammad Deni} and Yoshihiro Mizoguchi",
year = "2017",
month = "12",
day = "4",
doi = "10.1109/COMCOM.2017.8167090",
language = "English",
volume = "2017-January",
pages = "1--6",
booktitle = "Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

TY - GEN

T1 - Formal equivalence classes model of fuzzy relational databases using relational calculus

AU - Akbar, Mohammad Deni

AU - Mizoguchi, Yoshihiro

PY - 2017/12/4

Y1 - 2017/12/4

N2 - One of our goals is to formalize an equivalence class(FEC) of the fuzzy relational database(FRDB). FRDB, an extension of RDB using a soft computing technique, fuzzy theory. Using our relational formulas of relational calculus, we can denote its properties by simple and correct formulas. Also, we can prove its properties formally using relational calculus. There are many applications of FRDB such as managing hyperlinks of web pages, customer relationship management (CRM), etc. Our motivation is developing formal verification tools for a software system using FEC of FRDB.We also formalize database operations such as "projection", "selection", and "natural join". We prove several elementary properties of natural join operations using our formalization.

AB - One of our goals is to formalize an equivalence class(FEC) of the fuzzy relational database(FRDB). FRDB, an extension of RDB using a soft computing technique, fuzzy theory. Using our relational formulas of relational calculus, we can denote its properties by simple and correct formulas. Also, we can prove its properties formally using relational calculus. There are many applications of FRDB such as managing hyperlinks of web pages, customer relationship management (CRM), etc. Our motivation is developing formal verification tools for a software system using FEC of FRDB.We also formalize database operations such as "projection", "selection", and "natural join". We prove several elementary properties of natural join operations using our formalization.

UR - http://www.scopus.com/inward/record.url?scp=85043470384&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85043470384&partnerID=8YFLogxK

U2 - 10.1109/COMCOM.2017.8167090

DO - 10.1109/COMCOM.2017.8167090

M3 - Conference contribution

AN - SCOPUS:85043470384

VL - 2017-January

SP - 1

EP - 6

BT - Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017

PB - Institute of Electrical and Electronics Engineers Inc.

ER -