IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

A Roadmap on Updates

A Roadmap on Updates
View Sample PDF
Author(s): Fernando Zacarías Flores (Benemérita Universidad Autónoma de Puebla, Mexico), Dionicio Zacarías Flores (Benemérita Universidad Autónoma de Puebla, Mexico), Rosalba Cuapa Canto (Benemérita Universidad Autónoma de Puebla, Mexico) and Luis Miguel Guzmán Muñoz (Benemérita Universidad Autónoma de Puebla, Mexico)
Copyright: 2009
Pages: 7
Source title: Database Technologies: Concepts, Methodologies, Tools, and Applications
Source Author(s)/Editor(s): John Erickson (University of Nebraska, Omaha, USA)
DOI: 10.4018/978-1-60566-058-5.ch137

Purchase

View A Roadmap on Updates on the publisher's website for pricing and purchasing information.

Abstract

Updates, is a central issue in relational databases and knowledge databases. In the last years, it has been well studied in the non-monotonic reasoning paradigm. Several semantics for logic program updates have been proposed (Brewka, Dix, & Knonolige 1997), (De Schreye, Hermenegildo, & Pereira, 1999) (Katsumo & Mendelzon, 1991). However, recently a set of proposals has been characterized to propose mechanisms of updates based on logic and logic programming. All these mechanisms are built on semantics based on structural properties (Eiter, Fink, Sabattini & Thompits, 2000) (Leite, 2002) (Banti, Alferes & Brogi, 2003) (Zacarias, 2005). Furthermore, all these semantic ones coincide in considering the AGM proposal as the standard model in the update theory, for their wealth in properties. The AGM approach, introduced in (Alchourron, Gardenfors & Makinson, 1985) is the dominating paradigm in the area, but in the context of monotonic logic. All these proposals analyze and reinterpret the AGM postulates under the Answer Set Programming (ASP) such as (Eiter, Fink, Sabattini & Thompits, 2000). However, the majority of the adapted AGM and update postulates are violated by update programs, as shown in(De Schreye, Hermenegildo, & Pereira, 1999).

Related Content

. © 2019. 19 pages.
. © 2019. 44 pages.
. © 2019. 23 pages.
. © 2019. 18 pages.
. © 2019. 11 pages.
. © 2019. 18 pages.
. © 2019. 31 pages.
Body Bottom