Academic Journal
A Fuzzy Datalog Deductive Database System.
| Τίτλος: | A Fuzzy Datalog Deductive Database System. |
|---|---|
| Συγγραφείς: | Julian-Iranzo, Pascual, Saenz-Perez, Fernando |
| Πηγή: | IEEE Transactions on Fuzzy Systems; Oct2018, Vol. 26 Issue 5, p2634-2648, 15p |
| Θεματικοί όροι: | Deductive databases, Query languages (Computer science), Fuzzy logic, Prolog (Computer program language), SQL |
| Περίληψη: | This paper describes a proposal for a deductive database system with fuzzy ${{\small \mathsf{Datalog}}}$ as its query language. Concepts supporting the fuzzy logic programming system ${\small{\mathsf{Bousi}}}{\sim} {{\small \mathsf{Prolog}}}$ are tailored to the needs of the deductive database system ${{\small \mathsf{DES}}}$. We develop a version of fuzzy ${{\small \mathsf{Datalog}}}$ where programs and queries are compiled to the ${{\small \mathsf{DES}}}$ core ${{\small \mathsf{Datalog}}}$ 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 ${{\small \mathsf{Prolog}}}$ , 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. [ABSTRACT FROM AUTHOR] |
| Copyright of IEEE Transactions on Fuzzy Systems is the property of IEEE and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Βάση Δεδομένων: | Complementary Index |
καταχωρήστε σχόλιο πρώτοι!