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 |
| FullText | Links: – Type: other Text: Availability: 0 |
|---|---|
| Header | DbId: edb DbLabel: Complementary Index An: 132209100 RelevancyScore: 873 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 873.459045410156 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: A Fuzzy Datalog Deductive Database System. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Julian-Iranzo%2C+Pascual%22">Julian-Iranzo, Pascual</searchLink><br /><searchLink fieldCode="AR" term="%22Saenz-Perez%2C+Fernando%22">Saenz-Perez, Fernando</searchLink> – Name: TitleSource Label: Source Group: Src Data: IEEE Transactions on Fuzzy Systems; Oct2018, Vol. 26 Issue 5, p2634-2648, 15p – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Deductive+databases%22">Deductive databases</searchLink><br /><searchLink fieldCode="DE" term="%22Query+languages+%28Computer+science%29%22">Query languages (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Fuzzy+logic%22">Fuzzy logic</searchLink><br /><searchLink fieldCode="DE" term="%22Prolog+%28Computer+program+language%29%22">Prolog (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22SQL%22">SQL</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: Abstract Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=132209100 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1109/TFUZZ.2018.2806923 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 15 StartPage: 2634 Subjects: – SubjectFull: Deductive databases Type: general – SubjectFull: Query languages (Computer science) Type: general – SubjectFull: Fuzzy logic Type: general – SubjectFull: Prolog (Computer program language) Type: general – SubjectFull: SQL Type: general Titles: – TitleFull: A Fuzzy Datalog Deductive Database System. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Julian-Iranzo, Pascual – PersonEntity: Name: NameFull: Saenz-Perez, Fernando IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 10 Text: Oct2018 Type: published Y: 2018 Identifiers: – Type: issn-print Value: 10636706 Numbering: – Type: volume Value: 26 – Type: issue Value: 5 Titles: – TitleFull: IEEE Transactions on Fuzzy Systems Type: main |
| ResultId | 1 |