Formal equivalence classes model of fuzzy relational databases using relational calculus

Mohammad Deni Akbar, Yoshihiro Mizoguchi

研究成果: 著書/レポートタイプへの貢献会議での発言

抄録

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.

元の言語英語
ホスト出版物のタイトルProceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017
出版者Institute of Electrical and Electronics Engineers Inc.
ページ1-6
ページ数6
2017-January
ISBN(電子版)9781509040483
DOI
出版物ステータス出版済み - 12 4 2017
イベント1st International Conference on Applied Computer and Communication Technologies, ComCom 2017 - Jakarta, インドネシア
継続期間: 5 17 20175 18 2017

その他

その他1st International Conference on Applied Computer and Communication Technologies, ComCom 2017
インドネシア
Jakarta
期間5/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

これを引用

Akbar, M. D., & Mizoguchi, Y. (2017). Formal equivalence classes model of fuzzy relational databases using relational calculus. : Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017 (巻 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. 巻 2017-January Institute of Electrical and Electronics Engineers Inc., 2017. p. 1-6.

研究成果: 著書/レポートタイプへの貢献会議での発言

Akbar, MD & Mizoguchi, Y 2017, Formal equivalence classes model of fuzzy relational databases using relational calculus. : Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017. 巻. 2017-January, Institute of Electrical and Electronics Engineers Inc., pp. 1-6, 1st International Conference on Applied Computer and Communication Technologies, ComCom 2017, Jakarta, インドネシア, 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. : Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017. 巻 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. 巻 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 -