利用潜在语义分析和关联规则挖掘构造同义与关联词集

本文提出了一种基于XML数据库的关联规则分析模型。在对XML数据库和XQuery查询语言作了简要介绍以后,提出了基于XML数据库的关联规则分析的研究思想,并描述了基于这个思想进行关联规则分析的模型。最后,通过一个例子说明了如何利用这个模型进行关联规则分析的具体过程。     

完整性约束规则的自动生成

1．前言 传统数据库一直被动地对用户(应用程序)的要求作出反应,八十年代末期提出的主动数据库突破了这一局限,能够在没有用户干预的情况下,自动地对系统内部或外部产生的事件做出响应[5],其主动性行为的基础是规则系统的有力支持。 后期推出的关系数据库产品(如SYBASE)已经提供了规则机制,有许多基于规则的主动数据库已经或正在形成。但这些系统中提供的规则定义语言都是过程式的,要求用户对规则的条件和动作进行具体描述,规则定义成为一项很繁琐的工作,给用户充分利用规则造成困碓。特别是对于大量的完整性约束保持规则来说,其触发条件和动作都有稳定一致的规律性,应该提供一种说明性的语言使用户能够简明安全地表达约束语义,而规则的细节能由系统自动生成。     

一种具有约束演绎能力的面向对象数据库语言CDOL

本文介绍了一个基于规则的具有约束处理能力的面向对象数据库查询语言CDOL.该语言将面向值和面向对象模型集成在一起,约束关系可以显式描述并作为知识直接进入推理查询过程.CDOL可作为智能化CAx环境的核心数据库查询语言,本文着重介绍其语法和语义.     

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

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

基于主动数据库的移动P2P查询处理

提出了一个基于主动数据库的移动代理构造及管理系统模型。它采用主动数据库中的事件—条件—活动（ECA）规则来定义代理的逻辑结构并利用其触发器机制来实施代理的执行和管理，不仅大大简化了支持即时或连续查询的P2P系统的体系结构而且通过主动数据库的安全机制能确保从自治数据库中获取信息的安全性和有效性。给出了移动P2P系统中节点的体系结构，代理的结构、管理与生存周期并给出了一个应用实例。     

基于Vague数据库的代数查询语言

基于Vague集理论的Vague关系数据库与其他模糊数据库一样,由于所含信息的模糊性,对应着现实世界的多种状态.虽然此类数据库能够更加真实地反映现实世界,但是在基于这些数据库的查询语言的有效性和计算过程的复杂性等方面却存在着一定的问题.本文基于Vague关系数据模型,对其代数查询语言中的选择、投影和连接操作进行了研究,指出基于一般Vague关系数据模型的查询语言中所存在的问题,并提出相应的解决方法,引入一种嵌套机制,对Vague关系模型进行了进一步扩展,进而对新模型查询语言中的三种操作在不同情况下进行了讨论,并给出了相应的定义.     

多媒体对象查询语言及其查询处理

文章研究了多媒体数据库的查询需求,提出结构化的多媒体对象查询语言MOQL(multi-media object query language).它能够支持基于类型、结构特征、同步关系、时态关系和内容信息的多媒体查询.以DB2数据库为存储机制,定义了一组代数算子和变换规则,利用它们可以将用户定义的MOQL查询变换为代数表达式,进行代数优化,并将代数查询表达式转换为能够在DB2数据库上运行的DB2SQL和C++查询过程.     

基于模型检测的半结构化数据查询

在Web迅猛发展和半结构化数据急剧膨胀的今天,Web上的半结构化数据查询日益成为信息技术领域一个重要的研究发展方向。现有的半结构化查询语言在查询效率上存在着不足。文章提出了一个将模型检测技术应用到半结构化数据查询的新方法,它通过把数据库看作Kripke状态变迁系统,把查询解释为时序逻辑CTL公式,将查询过程转化为模型对公式的满足问题,通过模型检测过程高效地完成数据查询,从而使查询可以在多项式时间内完成,很好地改善了查询效率。最后,给出了该方法在现有半结构化查询语言Lorel上的应用。     

基于条件冲突分析的主动规则集汇流性判定方法

主动规则使数据库具备自反应能力,在数据库、知识库和无线传感器网络等领域得到了广泛应用。汇流性分析是保持数据一致性的重要手段,但有效判定汇流性仍是一个难题。现有的方法基于规则可交换性进行判定,没有考虑规则之间是否存在条件冲突而导致它们不可能同时出现在同一个执行序列中;同时基于触发关系的集合分析没有考虑在规则触发序列中的先后时序性。为此,提出了规则的触发序列概念,分析了单个触发序列上的条件冲突和一对无序规则所在的两条触发序列之间的条件冲突,从而提出了更有效的汇流性先决条件及其判定定理,同时给出了新的判定算法的完整描述及其可终止性、正确性证明和复杂度分析。     

一种面向对象DBMS的直观对象查询语言

文章论述了一种面向对象的数据库管理系统的直观对象查询语言。这种基于图形的查询语言可支持图表式查询语言的定义和说明,因此这种语言既有基于文本的结构查询语言的表达能力,也具有基于图形查询语言的直观性。     

支持复合事件的主动规则的可终止性分析

ＥＣＡ规则系统已经成为主动数据库提供主动服务的通用机制．规则集合的可终止性是规则行为分析的一个重要问题．文中给出了ＥＣＡ规则系统的形式化描述，并着重讨论了复合事件机制对可终止性问题的影响．文中结合规则实例给出了分析规则终止性的静态判定算法，这一算法可作为主动规则分析工具的理论基础．     

ECA规则的模型和行为特定理论

本文给出了ＥＣＡ规则系统的一般性模型，通过扩展系统状态和改变的定义，形式化地描述了规则处理的语义，并着重研究规则系统的行为特征（可终止性和行为一致性）．文中给出的形式化定义和判定方法可作为规则静态分析工具的理论基础.     

主动规则可终止性的动态分析方法

判定主动规则集合的执行情况是相当困难的,尤其是在主动规则支持复合事件时,提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型,归结出主动规则可终止的充分必要条件,并进一步提出了利用动态分析模型进行主动规则可终止性判定的算法,该模型易于实现,能有效描述规则集合的动态特性,可以作为分析主动规则集合行为的理论基础,还可以用于对主动规则的辅助设计和验证。     

关联图与主动规则集的终止性分析

终止性反映了主动数据库系统良好的行为特性.目前有关主动规则集终止性分析的主要依据是触发图和活化图,其分析结果是保守的.为表达一个规则的动作可能使另一规则的条件为假的事实,引入了惰化图(deactivationgraph),并与触发图和活化图相结合,定义了更为一般的关联图(relationshipgraph).同时,给出了基于关联图的主动规则集终止性静态分析算法,提高了终止性判定的准确性.     

Implementing ECA rules in an active database

Traditional database systems are designed to manage large volumes of data, but rule support is generally not a strong feature. On the other hand, expert systems have the deductive capability to manage rule processing. A coupling between these two systems to support advanced database applications results in what is termed an active database. An approach to implementing active database systems is to represent knowledge as Event–Condition–Action (ECA) rules. ECA rules determine when and how to react to different kinds of events. This paper focuses on the different type of events supported by an active database CLOSE. A set of primitive and composite events is presented together with examples of their application. Event detection in this system is also discussed.     

An intelligent database for engineering applications

Many engineering applications need to response to unpredictable events in a timely manner. Active database systems provide an event-driven rule processing capability to meet this requirement. In this paper, we present an intelligent database which integrates an object-oriented database (OODB) with an expert system, CLIPS. The paper describes the design and implementation of the rule manager of this intelligent database. In the rule manager, event-condition-action (ECA) rules are represented as first class objects of the OODB. A rule definition language (RDL) has been developed to manipulate ECA rules in a declarative way. A graphical user interface (GUI) also supplies a template to interactively define, delete, update and check ECA rules. Detection of time events, method events, absolute events and composite events is supported by the rule manager. The CLIPS inference engine is used to control condition evaluation and action execution after an ECA rule is triggered. Finally, a typical workflow application is used to illustrate the functionality of the system.     

Specifying timing constraints and composite events: an application in the design of electronic brokerages

Increasingly, business applications need to capture consumers' complex preferences interactively and monitor those preferences by translating them into event-condition-action (ECA) rules and syntactically correct processing specification. An expressive event model to specify primitive and composite events that may involve timing constraints among events is critical to such applications. Relying on the work done in active databases and real-time systems, this research proposes a new composite event model based on real-time logic (RTL). The proposed event model does not require fixed event consumption policies and allows the users to represent the exact correlation of event instances in defining composite events. It also supports a wide-range of domain-specific temporal events and constraints, such as future events, time-constrained events, and relative events. This event model is validated within an electronic brokerage architecture that unbundles the required functionalities into three separable components - business rule manager, ECA rule manager, and event monitor - with well-defined interfaces. A proof-of-concept prototype was implemented in the Java programming language to demonstrate the expressiveness of the event model and the feasibility of the architecture. The performance of the composite event monitor was evaluated by varying the number of rules, event arrival rates, and type of composite events.     

ECA rule learning in dynamic environments

Through the development of management and intelligent control systems, we can make useful decision by using incoming data. These systems are used commonly in dynamic environments that some of which are been rule-based architectures. Event–Condition–Action (ECA) rule is one of the types that are used in dynamic environments. ECA rules have been designed for the systems that need automatic response to certain conditions or events. Changes of environmental conditions during the time are important factors impacting a reduction of the effectiveness of these rules which are implied by changing users demands of the systems that vary over time. Also, the rate of the changes in the rules are not known which means we are faced with the lack of information about rate of occurrence of new unknown conditions as a result of dynamics environments. Therefore, an intelligent rule learning is required for ECA rules to maintain the efficiency of the system. To the best knowledge of the authors, ECA rule learning has not been investigated. An intelligent rule learning for ECA rules are studied in this paper and a method is presented by using a combination of multi flexible fuzzy tree (MFlexDT) algorithm and neural network. Hence data loss could be avoided by considering the uncertainty aspect. Owing to runtime, speed, and also stream data in dynamic environments, a hierarchical learning model is proposed. We evaluate the performance of the proposed method for resource management in the Grid and e-commerce as case studies by modeling and simulating. A case study is presented to show the applicability of the proposed method.     

含环触发图对应的主动规则集可终止性分析

主动规则集的可终止性是主动数据库规则集的三大重要特征之一．主动规则集可否保证终止将直接影响到系统的应用．由于主动规则间存在依赖关系,通过对依赖关系的分析,给出了规则的触发传递闭包、依赖传递闭包等概念．以此为基础,提出了用规则触发-依赖图（T—DG）方法来分析主动规则集的终止性．特别讨论了判定含环的触发图（TG）对应的主动规则集是否保证终止的方法,给出了相应的判定算法、算法证明及分析．     

基于触发路径的主动规则集终止性分析

为满足用户对网络服务的个性化、定制化和主动化需求,主动规则成为解决这些问题的关键技术.研究了在网络环境下基于规则的复杂应用中,大量规则集同时触发所带来的规则终止性问题,提出的分析方法确保主动规则能够有效运行,以提供更加灵活的主动服务.讨论了以静态分析方法为主的主动规则终止性分析相关工作,随后给出问题描述和相关形式化定义.分析了基于关联图的终止性分析方法的保守性,引入触发路径和有限触发环概念,提出了基于触发路径的两种终止情形分析方法,提高了规则集终止性分析的准确性,采用两阶段分析算法保证了分析效率.与相关分析方法的实验比较说明,文中方法能够更准确高效地检测主动规则集的终止性,并适应基于主动规则的其它应用.