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.

中文翻译：

---

一个模糊数据日志演绎数据库系统

本文描述了一个具有模糊推理的演绎数据库系统的提议。 ${{\small \mathsf{Datalog}}}$作为其查询语言。支持模糊逻辑编程系统的概念 ${\small{\mathsf{Bousi}}}{\sim} {{\small \mathsf{Prolog}}}$ 根据演绎数据库系统的需要量身定制 ${{\small \mathsf{DES}}}$ . 我们开发了一个模糊版本${{\small \mathsf{Datalog}}}$ 程序和查询被编译到 ${{\small \mathsf{DES}}}$ 核 ${{\small \mathsf{Datalog}}}$语。弱统一和弱 SLD 分辨率适用于此设置，并扩展为允许具有真实度注释的规则。我们提供了一个公共实现${{\small \mathsf{Prolog}}}$ ，它是开源、多平台、可移植和内存中的，具有图形用户界面。该系统的一个显着特点是，与其他系统不同，我们已经正式证明我们的实现技术符合提议的操作语义。我们还通过一系列详细的实验来研究这些实现技术的效率。此外，推荐系统的数据库示例用于说明系统的一些功能及其有用性。