基于参数比Petri网的主动数据库的行为研究

1 引言在主动数据库系统(Active Database System:简称ADS)中当特定的事件或某些条件成立时,ECA(Event-Condition-Action)便触发一些动作。形式上,一个ECA规则是由事件E、条件C和动作A组成的,事件可以是单个或组合的,条件可以是布尔表达式或产生True/False的数据库查询,动作可以是数据库操作的执行或应用程序的执行。尽管主动数据库     

关系型主动数据库的事件模型与监测

ECA(事件一条件一动作)规则是主动数据库系统中广泛采用的主动服务机制,其荃本语义是:当事件发生时,即时地或在规定时刻检查条件是否满足,若是则即时地或在规定时刻执行规则的动作     

主动数据库中的数据库事件监测器

传统数据库系统只能根据用户的命令被动的完成相应的动作 ,而实际应用中 ,常常希望系统能根据情况的变化主动地做出相应的处理 ,因此 ,研制具有主动机制的数据库系统越来越受到人们的关注。本文介绍一个基于ECA模型 (事件 -条件 -动作 )的通用主动数据库中数据库事件监测器的设计与实现。     

主动数据库技术在控制系统规则库方面的应用研究

讨论并分析了建立水下无人潜器(AUV)自主运动控制规则库的必要性和重要性及可行性。指出主动机制是主动数据库的一个重要功能．采用事件一条件一动作的规则来实现其主动功能。就控制系统的事件．动作特点提出控制规则数据库设计方案。解决了自主控制系统中控制规则单一的瓶颈问题。最后．对主动控制规则库的实现技术进行了讨论并提出了相应的解决方案。     

基于神经网络的用户视频评分自动获取方法

在未来的智能电视系统中,真正的智能视频推荐应该是不需要用户评分动作就能自动、准确地获得用户兴趣、爱好并做出推荐的系统。研究无评分动作约束下的用户评分(揭示了他们的兴趣和爱好)自动获取技术是真正的智能推荐必须解决的一个关键问题。给出了一种基于神经网络的用户视频隐性评分自动获取方法。基于用户视频观看行为与评分样本的实验结果表明,该方法可以有效地获取用户的隐性评分信息。     

AFDB的设计与实现

主动模糊数据库系统(AFDBS),是由规则库(FEB)及相应的模糊事件监视器(FEM)、触发器评价器(TJ)、事件处理器(EP)组成.其中模糊规则库(FEB)由系统或用户定义的各种模糊事件驱动的模糊规则(模糊ECA)组成.论述了主动模糊数据库的组成及相关理论,着重点为模糊ECA规则的执行,包括执行模式、执行方式、规则冲突解决.给出了设计实例,设计实例主要实现主动模糊数据库中模糊数据的定义、存储、录入以及模糊数据库的主动响应.     

基于约束的主动规则终止性分析

终止性是主动规则所需的最重要的一个性质,但规则的终止性检查通常是不可判定的.已有的静态分析方法非常保守,SQL3标准也没有提供保证终止的机制,所以商业数据库限制规则级联触发的最大次数确保终止.由于规则可看成数据库状态转换器,而约束能够表示所有可能的数据库状态,基于约束表示的数据库状态及约束求解,模拟规则处理,可得到更精确的终止性结论.     

主动模糊规则的触发执行模型

随着计算机技术的发展和应用领域的不断扩大,对传统数据库技术的应用提出了更高的要求。主动模糊数据库就是改造和扩充传统数据模型以适应新的应用要求而发展起来的先进数据库技术。它能提供自动、适时的反应,即能够自动监视各种模糊事件和评价相应的模糊条件,并调度相关任务使其满足主动服务的功能。     

一种改进的主动规则的系统执行模型

主动规则及规则处理机制一直是主动数据库研究的薄弱环节,主要表现为:(1) 语义不够丰富;(2) 缺乏基础语义;(3) 缺乏对规则处理的层次化和结构化的描述.为弥补上述不足,对规则处理机制赋予了丰富的规则延伸语义,根据语义的要求,用规则处理树层次化和结构化地描述规则处理过程对系统状态的影响.新的系统执行模型和扩展后的事务使我们能够提出一种支持丰富语义的规则处理算法.与其他规则处理算法相比,该算法实现了新语义,并利用了递归技术,能更好地吻合规则处理过程.     

关联规则发现在素质教育中的应用

目前许多学校都为学生建立了信息数据库,针对如何从海量的学生信息数据库中提取出具有规律性的信息,文中利用数据挖掘中的关联规则发现技术设计并实现了一个学生素质关联规则发现系统。通过对实验结果进行分析,可以得出以下结论:该系统能够根据用户的参数设置自动发现学生各群体各种素质之间的相关性和规律,并界面友好地显示给用户从而能够帮助教育决策者发现当前教育管理中的问题,改进教育方法和策略,以达到深化贯彻素质教育的目的。     

SQL触发器在旅行社管理信息系统中的应用

触发器是在数据库中数据表的特殊的存储过程,是数据库强制业务规则和数据完整性控制的一种主要机制。讨论了触发器在旅行社管理信息系统中的实际应用。     

DML触发器实现数据完整性的应用研究

数据完整性是确保数据库数据安全的重要研究内容。通过DML触发器技术实现数据完整性控制,可有效防止由于对数据进行频繁的更新操作从而导致数据丢失或无效扩散。该文通过论述DML触发器的实现机制,并结合具体的开发实例,分析DML触发器在强制数据参照完整性、级联更新与删除、实现用户定义业务规则、更新不可更新视图等方面的应用基本步骤及设计技巧,反映了触发器应用在提高系统性能、简化数据库操作、维护数据完整性、有效性、增强数据库安全性、提高开发效率等方面的强大功能。     

The POSTGRES rule manager

The rule subsystem that is being implemented in the POSTGRES DBMS is explained. It is novel in several ways. First, it gives users the capability of defining rules as well as data. Moreover, depending on the scope of each rule defined, optimization is handled differently. This leads to good performance both when there are many rules each of small scope and when there are a few rules each of large scope. In addition, rules provide either a forward-chaining or a backward-chaining control flow, and the system chooses the control mechanism that optimizes performance whenever possible. Priority rules can be defined, allowing a user to specify rule systems that have conflicts. This use of exceptions seems necessary in many applications. Database services such as views, protection, integrity constraints, and referential integrity can be obtained simply by applying the rules system in the appropriate way. Consequently, no special-purpose code need be included in POSTGRES to handle these tasks     

一种灵活的强制完整性访问控制策略

完整性保护是计算机安全的一项重要内容,虽然绝大多数安全操作系统都设计实现了完整性保护机制,但仍存在着系统的完整性被破坏以及完整性策略不够灵活的不足。在实施完整性保护的基本原则下,提出了一种灵活的完整性访问控制策略FIC,并给出了在LSM框架下的实现过程。FIC定义了主完整级和辅助完整级,通过访问控制规则、进程再标记规则和新建客体标记规则,实现了系统的完整性保护以及进程执行的灵活完整性保护控制。最后分析了实现效果,并指出了进一步可扩展性研究需求。     

演绎数据库中完整性约束视图表示和生成算法

在演绎数据库系统中,一般将完整性约束条件和IDB规则分别表示和存储。文章基于笔者自行设计的SD-DDBS系统的IDB规则视图表示方法,给出了一个生成算法,将完整性约束条件表示成视图形式,克服了传统方法中存储开销大,演绎查询实现复杂的缺点,有效地提高了演绎查询的执行效率。     

基于角色的操作系统完整性控制模型

完整性是操作系统的安全目标之一。分析了安全操作系统的完整性保护策略,详细说明了用户职责和进程可信度是决定系统中用户、进程和文件完整级的重要因素。提出了一个完整性控制模型,该模型使用角色来简化对用户完整级的管理。分别给出了模型的完整性公理、模型元素、系统状态的定义、系统设置方法和以及状态转换规则,并对模型进行了正确性证明,最后介绍了模型的应用实例和实现方法。     

Implementing temporal integrity constraints using an active DBMS

The paper proposes a general architecture for implementing temporal integrity constraints by compiling them into a set of active DBMS rules. The modularity of the design allows easy adaptation to different environments. Both differences in the specification languages and in the target rule systems can be easily accommodated. The advantages of this architecture are demonstrated on a particular temporal constraint compiler. This compiler allows automatic translation of integrity constraints formulated in Past Temporal Logic into rules of an active DBMS (in the current version of the compiler two active DBMS are supported: Starburst and INGRES). During the compilation the set of constraints is checked for the safe evaluation property. The result is a set of SQL statements that includes all the necessary rules needed for enforcing the original constraints. The rules are optimized to reduce the space overhead introduced by the integrity checking mechanism. There is no need for an additional runtime constraint monitor. When the rules are activated, all updates to the database that violate any of the constraints are automatically rejected (i.e., the corresponding transaction is aborted). In addition to straightforward implementation, this approach offers a clean separation of application programs and the integrity checking code     

DAPPIC：保持约束的发布规则生成机制

提出一种在数据映射方式下保持完整性约束的数据发布方法,设计了一套保持完整性约束的数据发布规则生成机制DAPPIC。简述DAPPIC机制中的关键技术和总体设计,并且通过CoXML系统的实现和应用验证了DAPPIC机制的有效性。     

嵌入式存储系统的仿真及实现

嵌入式环境中存储需求在不断地增长，越来越多的嵌入式系统采用高速存储单元支持系统运行以及大规模的数据存储。随着嵌入式存储系统的速度和容量的扩展，如何设计高速的存储系统成为需要研究的问题。该文从信号完整性的角度，以一种海量DDR存储系统设计为实例，利用信号完整性仿真方法，分析和探讨了适当的信号线终结方式和布线规则对信号完整性的影响。该方法适用于不同容量的高速存储系统设计和高速DDR2存储系统，实际应用表明了该方法具有良好的效果。     

InterBase-KB: integrating a knowledge base system with a multidatabase system for data warehousing

This paper describes the integration of a multidatabase system and a knowledge-base system to support the data-integration component of a data warehouse. The multidatabase system integrates various component databases with a common query language; however, it does not provide capability for schema integration and other utilities necessary for data warehousing. In addition, the knowledge base system offers a declarative logic language with second-order syntax but first-order semantics for integrating the schemes of the data sources into the warehouse and for defining complex, recursively defined materialized views. Furthermore, deductive rules are also used for cleaning, checking the integrity and summarizing the data imported into the data warehouse. The knowledge base system features an efficient incremental view maintenance mechanism that is used for refreshing the data warehouse, without querying the data sources.