分布式主动数据库中Agent与语义的研究

人工智能的快速发展，给数据库技术带来了新的动力。本文通过分析主动数据库、分布数据库和面向对象方法，指出面向对象方法的局限性，进而分析Agent技术与主动数据库相结合的可能性。同时本文在原有面向Agent的分布式主动数据库框架的研究基础上，将语义服务代理引入数据库框架中，研究面向佃t的分布式主动数据库的语义服务。     

基于活化路径和条件公式的主动规则集可终止性判定方法

支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中一个核心问题之一,利用触发图和活化图的方法来判定可终止性都存在不同的保守性.为此,提出了为有效活化路径建立条件公式的思想,在此基础上给出了一个新的判定主动规则集可终止性的方法.分析的结果表明,提出的方法较现有方法可以发现更多的可终止性情形,最后给出了相应的算法及其可终止性、正确性证明.     

基于CORBA/代理技术的Web数据库系统研究

在分析了传统的Web数据库系统体系结构及其弊端的基础上,提出了一种应用分布式对象CORBA(CommonObjectRequestBrokerArchitecture)组件技术和Agent软件智能代理技术构建Web数据库系统体系结构的方法,并对     

数据库系统设计中的面向对象技术研究

基于面向对象技术的基本思想和开发过程,介绍了面向对象技术的实现方法.结合具体实例对面向对象技术在数据库系统结构设计和详细设计中的应用进行了详细的探讨,利用面向对象的数据库系统分析和设计方法,使用UML工具建立了具体的对象模型,给出了一种比较通用的数据库系统开发模式.使用该模式设计的系统重用性好,且易于维护,从而有效提高了数据库系统的开发质量.     

基于语义缓存的数据库查询优化研究

为了应用智能化的方法提高数据库访问效率,基于多Agent技术构建了分布式数据库访问平台,研究并解决了平台的结构、各种Agent的设计、Agent间的协作机制、以及数据库系统的包装方法等关键问题.在优化策略方面,研究了分布式环境下的语义缓存技术,并提出了一种Agent平台下的智能预取算法,弥补了传统数据库优化手段缺乏智能性、预动性,以及重用困难等不足.通过在大型数据库系统上进行测试,表明该方案在进行大规模数据库操纵时效率有明显提高.     

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

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

面向对象的主动数据库模型的分析及实现技术

本文将面向对象方法学应用于主动数据库系统中，介绍了面向主动对象的数据库模型，及其ECA规则和事件的表示与实现。     

基于.NET平台ORM技术阳光采购系统的设计

在基于.NET平台的管理信息系统中,面向对象的业务处理和关系数据存储存在着一定的矛盾.在分析.NET平台的数据库处理的技术基础上,设计了一个对象/关系数据库映射模式,并结合这个模式创建了一个通用的数据操作框架CFC,实现了对象/关系数据库映射.CFC框架使软件开发人员能够以面向对象的方法进行对象数据存取,而不必了解后台关系数据库的实现.该框架实际应用到了广东电网公司阳光采购系统.     

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

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

软件Agent的一种面向对象设计模型

怎样实现软件Agent是设计与开发面向Agent编程语言及工具的关键问题.为基于当前主流的面向对象技术来解决该问题,首先讨论了对象与Agent的主要区别,然后通过对Agent的BDI模型进行简化改进,提出了一种基于对象技术的软件Agent的实现体系结构及其内部行为自主决策算法.最后,基于该结构及算法并利用设计模式开发出了软件Agent的一种面向对象设计框架.该工作对于上述问题的解决,以及在现有成熟的面向对象技术基础上开发出软件Agent程序设计语言及其支撑环境具有基础指导意义.     

Termination and confluence by rule prioritization

An active database system is a DBMS endowed with active rules, i.e., stored procedures activated by the system when specific events occur. The processing of active rules is characterized by two important properties: termination and confluence. We say that the processing of a set of active rules terminates if, given any initial active database state, the execution of the rules does not continue indefinitely; it is confluent if, for any initial database state, the final state is not influenced by the order of execution of the rules. Finding sufficient conditions for these properties to hold is a nontrivial problem, and the lack of a structured theory for the design of a system of active rules makes the analysis of the two properties more difficult. In this work, we translate a set of rules from any of the existing systems into an internal format; then, we translate the active rules into logical clauses, taking into account the system's execution semantics, and transfer to the active process known simple results about termination and determinism available in the literature for deductive rules.     

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

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

Refinement of fair action systems

An action system is a framework for describing parallel or distributed systems, for which the refinement calculus offers a formalisation of the stepwise development method. Fairness is an important notion in modelling parallel or distributed systems, and this paper investigates a calculus for refinement of fair action systems. Simulations, which are proof techniques for refinement, are extended to verify fair action systems. Our work differs from others' in that the additional condition concerning fairness is expressed through termination of related iteration statements. For this purpose, existing proof rules for termination are extended. In the tradition of the refinement calculus, our approach to fairness is based on techniques developed mainly for sequential programming. Received: 16 March 1995 / 16 April 1997     

Analysis and optimization of active databases

We introduce a new formal semantics for active databases that relies on a transaction rewriting technique. A user-defined transaction, which is viewed here as a sequence of atomic database updates forming a semantic atomic unit, is translated by means of active rules into induced one(s). These transactions embody active rule semantics which can be either immediate or deferred. Rule semantics, confluence, equivalence and optimization are then formally investigated and characterized in a solid framework that naturally extends a known model for relational database transactions.     

面向对象的软件测试多Agent系统研究

软件测试多Agent系统(SoftwareTestMuiti-AgentSystem,STMAS)利用Agent具有的自治性、社交能力和智能性为软件系统的测试提供积极的帮助。该系统由用户界面Agent、测试用例选择和测试Agent、回归测试Agent三部分组成,这些Agent在面向对象的测试过程中,运用它们的智能规则进行软件自动测试。该系统有两个优点:由于自动测试,可以将测试者的干预减到最少;由于能进行没有冗余的、一致性的测试用例的智能选择,可以在提高故障检测有效性的同时缩短测试时间。     

基于移动代理的Struts 2框架

针对移动Agent与Web互操作困难的问题,将两者的优势相结合,提出基于移动代理的Aglet-Struts 2整合开发框架。引入Aglet action服务代理把移动代理和Struts 2的控制action、视图JSP和模型javaBean进行整合,通过持久层 Hiberanate实现数据库的透明访问。利用XML技术完成数据交换,采用分层结构,使各层相互独立、耦合度低,以提高系统的可维护性、扩展性和灵活性。将该框架应用到气田生产数据远程监控系统中,证明该框架具有可行性,适用于复杂分布式系统的构建。     

基于半连接的并行查询处理算法的研究

多元连接查询的并行执行是并行数据库的研究重点,传统的并行查询处理算法没有利用面向对象数据库及其查询的特点,算法效率较低.借鉴分布式数据库查询处理中基于半连接的优化思想,提出了基于半连接的并行查询处理算法.性能评价表明了其实用性和有效性.     

Composite event support in an active database

An intelligent or active database system is able to provide support to engineering applications, which require both data and rules to be managed. CLOSE is an active database, which integrates an object-oriented database, ObjectStore with an expert system, CLIPS. Engineering applications require a broad range of composite events, which are combinations of primitive events such as time events, method events and absolute events. This paper focuses on the design and implementation of composite events. Detection of these composite events is supported by a Rule Manager. The data structures used and the mechanism for composite event detection is described. Example applications are also presented in order to highlight the usefulness of composite events.     

The operational semantics of user-defined relationships in object oriented database systems

In semantic data models, abstract relationship (e.g. generalization, aggregation, etc.) semantics are defined, specifying how insertion, deletion and modification operations made at a higher level of abstraction can affect the objects abstracted over and vice versa. These semantics, also known as structural constraints, are expressed through so-called update rules. This perspective has been somewhat lost in most object-oriented systems, where user-defined relationships are supported as simple pointers and their semantics are embedded, distributed and replicated within the operations accessing these pointers. This paper inherits and extends the treatment of relationships found in semantic data models to behavioural object-oriented models by presenting an approach to uniformly capture the update rules for user-defined relationships. The stress is not on supporting relationships as first-class objects, but on describing their update rules (or operational semantics) through a set of constructors namely, reaction, anticipation, delegation and exception. The approach has been borne out by an implementation in an active object-oriented database system.