在融合知识库中引入动态行为
Introducing Dynamic Behavior in Amalgamated Knowledge Bases
摘要：
多源异构知识的集成问题是当前信息系统的一个基本问题。为了解决这个问题，中介的概念已经被引入作为一个软件组件提供中间服务，连接数据资源和应用程序，并使底层系统的异构性透明。在设计一个调解人的架构，我们认为，一个重要的方面是一个正式的框架，其中一个是能够根据声明式的集成模型的定义。为此目的，使用逻辑方法似乎很有希望。另一个重要的方面是对静态集成方面（涉及查询执行）和动态集成方面（涉及数据更新及其在各种数据源之间的传播）进行建模的能力。不幸的是，据我们所知，没有正式的建议，从静态和动态的角度来看，逻辑建模中介架构已经开发。在本文中，我们扩展的框架合并的知识库，提出了Subrahmanian，处理动态方面。我们提出的语言是基于主动U-数据库语言，并扩展了它与注释逻辑和融合的概念。我们建模的信息源和中介（也称为监督）作为主动U-Datasheet演绎数据库，从而建模查询，交易和主动规则，解释根据公园的语义。通过使用主动规则，系统可以有效地执行不同数据库之间的更新传播。其结果是一个逻辑环境，集成主动和演绎规则，执行查询和更新传播在一个异构的中介框架。
英文摘要：
The problem of integrating knowledge from multiple and heterogeneous sources is a fundamental issue in current information systems. In order to cope with this problem, the concept of mediator has been introduced as a software component providing intermediate services, linking data resources and application programs, and making transparent the heterogeneity of the underlying systems. In designing a mediator architecture, we believe that an important aspect is the definition of a formal framework by which one is able to model integration according to a declarative style. To this purpose, the use of a logical approach seems very promising. Another important aspect is the ability to model both static integration aspects, concerning query execution, and dynamic ones, concerning data updates and their propagation among the various data sources. Unfortunately, as far as we know, no formal proposals for logically modeling mediator architectures both from a static and dynamic point of view have already been developed. In this paper, we extend the framework for amalgamated knowledge bases, presented by Subrahmanian, to deal with dynamic aspects. The language we propose is based on the Active U-Datalog language, and extends it with annotated logic and amalgamation concepts. We model the sources of information and the mediator (also called supervisor) as Active U-Datalog deductive databases, thus modeling queries, transactions, and active rules, interpreted according to the PARK semantics. By using active rules, the system can efficiently perform update propagation among different databases. The result is a logical environment, integrating active and deductive rules, to perform queries and update propagation in an heterogeneous mediated framework.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
