演绎数据库

摘要： Declarative networking is an approach to solve network problems using deductive database technologies. Nodes in the network encapsulate the network into database. Node can organize the network by operations on the local databases. Minimal spanning Tree (MST) is a NP-complete problem in the wireless Ad Hoc networks. Declarative approach presents a novel solution to the MST problem in the wireless Ad Hoc networks. Declarative MST protocol can distributed construct the MST of wireless Ad Hoc networks. The results of the declarative MST protocol on the simulation platform show that the MST can be constructed in a high convergence speed.%声明网络是一种应用演绎数据库技术描述并解决网络问题的方法.节点将网络封装为数据库的一部分,通过对数据库的操作解决网络问题.最小生成树问题是无线AdHoc网络上NP完全问题,声明网络为无线AdHoc网络的最小生成树问题提供了一种新的解决方案.声明最小生成树协议可以分布式地构建无线Ad Hoc网络的最小生成树,在仿真平台的实验结果表明,声明最小生成树协议达到了收敛速度快的要求.

摘要： 主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去,即规则是可终止的.对主动规则的终止性分析方法包括图方法和代数分析方法.针对已有分析方法的局限性,介绍一种主动数据库规则终止性分析的一种新方法,将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程,利用该规则终止性分析方法对更多规则进行终止性分析,给出相应定理及其证明,最后给出规则优先级算法.

摘要： 演绎数据库（DDB）和面向对象数据库（OODB）自80年代产生以来，分别沿着不同的道路独立的发展。在各自领域的理论、技术及系统等方面都取得了许多成果。但OODB的主要问题是缺乏一个语义形式，而DDB使用的是关系模式。不支持对象标识和数据抽象概念，因此将两方面研究结合起来，以复杂对象建模和数据抽象能力为核心，以基于规则的OODB查询语言作为接口语言是新一代数据库的基本特征。

摘要： 规则集的汇流是指最终的数据库状态不依赖于主动规则被选择执行的顺序.针对主动规则汇流性分析方法的局限性,介绍一种主动数据库规则汇流性分析的新方法,此方法将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知汇流性的主动过程.

摘要： 终止性反映了主动数据库系统良好的行为特性.针对主动规则终止性分析方法的局限性,介绍了一种主动数据库规则终止性分析的新方法.此方法将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程.

摘要： 研究了一种求解包含一个IDB谓词线性递归程序的算法,该算法由规则间的相关性对逻辑程序进行分解,减少IDB谓词项的个数,然后再对分解后的子程序进行魔转换.并提出了对该算法的进一步优化方案.最后对算法中引入的ID号做了开销分析.

摘要： 设计并实现了一种基于SQL Server的演绎规则处理器,其主要功能是把演绎规则转换为含有SQL语句的过程代码,利用该处理器用户可用一阶逻辑谓词定义和查询IDB关系.

摘要： 设计并实现了一种基于SQL Server的演绎规则处理器，其主要功能是把演绎规则转换为含有SQL语句的过程代码，利用该处理器用户可用一阶逻辑谓词定义和查询IDB关系。

摘要： 为了构造高效的演绎数据库系统,提出了在关系数据库系统之上增加规则处理层,构造一种基于关系数据库SQL Server的演绎数据库系统的设计方案.系统主要由语言分析器、规则管理及一致性维护器、递归查询推理机等部分组成.讨论了规则维护器的设计思想,完整性维护的算法及关键问题的解决方案,实现递归查询的推理机的设计原理,递归查询算法及实现中的优化技术.规则推理从已知事实推导出未知信息;完整性维护用来表示规则之间的各种制约关系,避免不协调和不相容的信息内容.推理机模块能正确地完成演绎推理功能,尤其对线性递归查询的实现是有效的.

摘要： 旨在解决在演绎数据库中,如何利用递归规则进行递归查询的问题.介绍了一个线性递归查询算法的基本思想,阐述了该算法的设计与具体实现,包括算法采用的数据结构、程序中各功能模块的功能,对算法进行了分析.

摘要： 可以提供一种应对应用程序和环境的波动的数据库抵抗能力。一种用于由应用程序来更新数据的数据库系统，包括：用于存储主数据的数据存储装置，以及共享存储区域。共享存储区域包括：第一区域，其中加载有主数据，并且应用程序仅可对其进行参考；以及第二区域，其存储在应用程序更新第一区域中的主数据时生成的差异数据，并且应用程序可对其进行参考和更新。

摘要： 一种数据库系统具有至少两个位于各自的主机处理设备(200，210)中的主机数据库(204，214)。在远程处理设备(220)中提供远程数据库(224)。主机数据库和远程数据库存储多个数据库数据项。在每个主机处理设备提供同步引擎(206，216)，用于使其主机数据库与远程数据库同步。第一日志文件(227)包含表示对远程数据库(224)所做变化的项目，包括远程数据库中数据项的增加和修改以及删除，所述数据项的删除是为了增加可用于存储新数据项的自由存储空间。第二日志文件(229)包含表示根据任何一个主机数据库(204，214)中的删除而对远程数据库的相应删除的项目。同步引擎(206，216)根据第二日志文件中而不是第一日志文件中的项目来删除其主机数据库中的数据项。

摘要： 本发明涉及一种数据库装置，包括：元素出现信息存储部，其以元素名ID为关键字，存储元素的出现信息；祖先路径出现信息存储部，其以元素的祖先路径名ID为关键字，存储元素的出现信息；属性出现信息存储部，其以属性名ID为关键字，存储属性的出现信息；以及文本出现信息存储部，其以部分字符串为关键字，存储与元素实体的文本字符串和元素具有的属性的属性值相关的出现信息。由此，本发明的数据库装置仅通过构造条件就可检索在各种检索条件下的结构化文档，并可以对属性值进行字符串检索。

摘要： 可以提供一种应对应用程序和环境的波动的数据库抵抗能力。一种用于由应用程序来更新数据的数据库系统，包括：用于存储主数据的数据存储装置，以及共享存储区域。共享存储区域包括：第一区域，其中加载有主数据，并且应用程序仅可对其进行参考；以及第二区域，其存储在应用程序更新第一区域中的主数据时生成的差异数据，并且应用程序可对其进行参考和更新。

摘要： 一种数据库系统具有至少两个位于各自的主机处理设备(200,210)中的主机数据库(204,214)。在远程处理设备(220)中提供远程数据库(224)。主机数据库和远程数据库存储多个数据库数据项。在每个主机处理设备提供同步引擎(206,216),用于使其主机数据库与远程数据库同步。第一日志文件(227)包含表示对远程数据库(224)所做变化的项目,包括远程数据库中数据项的增加和修改以及删除,所述数据项的删除是为了增加可用于存储新数据项的自由存储空间。第二日志文件(229)包含表示根据任何一个主机数据库(204,214)中的删除而对远程数据库的相应删除的项目。同步引擎(206,216)根据第二日志文件中而不是第一日志文件中的项目来删除其主机数据库中的数据项。

摘要： 本发明公开了数据库间数据交互方法、系统及发送方数据库、接收方数据库，以降低实现采用不同编码类型编码数据的数据库间数据交互的成本，提高数据交互的准确性及实时性；该方法包括步骤：将发送方数据库中采用第一编码类型编码的数据，转换为采用第三编码类型编码的数据；发送方数据库将转换后的所述数据发送给接收方数据库；接收方数据库接收发来的所述数据；将接收方数据库接收的所述数据，转换为采用第二编码类型编码的数据；其中采用第三编码类型编码的数据能够由发送方数据库及接收方数据库识别。

摘要： 本发明公开了一种云原生数据库、数据库扩容方法、数据库缩容方法和装置，涉及计算机技术领域。该方法的一具体实施方式包括：管理系统中存储有配置信息及状态管理目录，所述配置信息中包括：各所述工作节点的拓扑信息及所述共享存储的存储信息，所述状态管理目录中包括：各可用工作节点的节点状态；多个计算节点用于处理数据库的相关计算；各所述计算节点的本地存储有所述计算节点对应的配置文件；各所述计算节点的本地存储有所述计算节点对应的集群状态信息；所述共享存储用于存储数据库数据。该实施方式能够实现针对云原生数据库的灵活管理。

摘要： 本公开涉及一种数据库弹性方法、数据库弹性装置及数据库弹性服务系统，应用于显示技术领域，可以提高云原生架构下本地盘数据库的弹性效率。该方法包括：接收对本地盘中的目标数据库的弹性请求，该目标数据库包括作为备库的第一数据库和作为主库的第二数据库；确定对该目标数据库的弹性变配方案；其中，该弹性变配方案包括：对第一数据库进行弹性变配处理，得到变配后的第三数据库；对第三数据库和第二数据库进行主备切换，将第三数据库切换为该目标数据库的主库，将第二数据库切换为该目标数据库的备库；对第二数据库进行弹性变配处理，得到变配后的第四数据库，以基于作为主库的第三数据库和作为备库的第四数据库得到弹性变配后的该目标数据库。

摘要： 本发明提供一种数据库装置、数据库中间层装置及运行该数据库的方法，该方法包括：数据库中间层装置在收到客户端的数据库访问请求后，将所述客户端的IP地址和用户名发送给数据库装置；所述数据库装置对应于所述客户端，记录IP地址和用户名。根据本发明的技术方案，有助于实现在数据库上面看到访问数据库的客户端的真实IP和用户名。

摘要： 本申请实施例公开了一种在主数据库和备数据库之间的同步方法、数据库系统和设备，该方法包括：主数据库响应于事务提交请求，获取主数据库的事务日志和已同步到备数据库的事务日志之间的日志差异量；当该日志差异量大于第一阈值时，暂停事务提交操作；当该日志差异量小于或等于该第一阈值时，执行事务提交操作。