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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on fuzzy systems Jg. 26; H. 5; S. 2634 - 2648
Hauptverfasser: Julian-Iranzo, Pascual, Saenz-Perez, Fernando
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York IEEE 01.10.2018
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:
<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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie: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