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

    2 Citations (Scopus)

    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
    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

    Publication series

    NameProceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017
    Volume2017-January

    Other

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

    All Science Journal Classification (ASJC) codes

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

    Fingerprint

    Dive into the research topics of 'Formal equivalence classes model of fuzzy relational databases using relational calculus'. Together they form a unique fingerprint.

    Cite this