The problem of integrating knowledge from multiple and heterogeneous sources is a fundamental issue in current information systems. 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 in Subrahmanian (1994), to deal with dynamic aspects. The language we propose is based on the Active U-Datalog language (Bertino et al., 1998), and extends it with annotated logic and amalgamation concepts from Kifer and Subrahmanian (1992) and Subrahmanian (1987). 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 (Gottlob et al., 1996). 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.

Introducing dynamic behavior in amalgamated knowledge bases / E. Bertino, B. Catania, P. Perlasca. - In: THEORY AND PRACTICE OF LOGIC PROGRAMMING. - ISSN 1471-0684. - 3:6(2003 Nov), pp. 625-669.

Introducing dynamic behavior in amalgamated knowledge bases

P. Perlasca
Ultimo
2003

Abstract

The problem of integrating knowledge from multiple and heterogeneous sources is a fundamental issue in current information systems. 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 in Subrahmanian (1994), to deal with dynamic aspects. The language we propose is based on the Active U-Datalog language (Bertino et al., 1998), and extends it with annotated logic and amalgamation concepts from Kifer and Subrahmanian (1992) and Subrahmanian (1987). 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 (Gottlob et al., 1996). 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.
Active rule; Deductive databases; Heterogeneous databases; Update
Settore INF/01 - Informatica
nov-2003
Article (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/141747
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact