A Fuzzy Datalog Deductive Database System

This paper describes a proposal for a deductive database system with fuzzy <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> as its query language. Concepts supporting the fuzzy logic programming system <inline-fo...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on fuzzy systems Vol. 26; no. 5; pp. 2634 - 2648
Main Authors: Julian-Iranzo, Pascual, Saenz-Perez, Fernando
Format: Journal Article
Language:English
Published: New York IEEE 01.10.2018
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:
<inline-formula xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> <tex-math notation="LaTeX"> {{\small \mathsf{Bousi}}}{\sim} {{\small \mathsf{Prolog}}}</tex-math> </inline-formula>
Annotations
Datalog Educational System (<inline-formula xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> <tex-math notation="LaTeX"> {{\small \mathsf{DES}}}</tex-math> </inline-formula>)
deductive database
Deductive databases
Fuzzy logic
fuzzy logic programming
fuzzy prolog
Fuzzy systems
Graphical user interface
Logic programming
Query languages
Recommender systems
Semantics
Structured Query Language
Superluminescent diodes
weak unification
ISSN:1063-6706, 1941-0034
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper describes a proposal for a deductive database system with fuzzy <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> as its query language. Concepts supporting the fuzzy logic programming system <inline-formula><tex-math notation="LaTeX"> {\small{\mathsf{Bousi}}}{\sim} {{\small \mathsf{Prolog}}}</tex-math></inline-formula> are tailored to the needs of the deductive database system <inline-formula><tex-math notation="LaTeX">{{\small \mathsf{DES}}}</tex-math> </inline-formula>. We develop a version of fuzzy <inline-formula><tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> where programs and queries are compiled to the <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{DES}}}</tex-math></inline-formula> core <inline-formula> <tex-math notation="LaTeX">{{\small \mathsf{Datalog}}}</tex-math></inline-formula> language. Weak unification and weak SLD resolution are adapted for this setting, and extended to allow rules with truth degree annotations. We provide a public implementation in <inline-formula><tex-math notation="LaTeX">{{\small \mathsf{Prolog}}}</tex-math> </inline-formula>, which is open source, multiplatform, portable, and in-memory, featuring a graphical user interface. A distinctive feature of this system is that, unlike others, we have formally demonstrated that our implementation techniques fit the proposed operational semantics. We also study the efficiency of these implementation techniques through a series of detailed experiments. Moreover, a database example for a recommender system is used to illustrate some of the features of the system and its usefulness.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1063-6706
1941-0034
DOI:10.1109/TFUZZ.2018.2806923