A Rational and Efficient Algorithm for View Revision in Databases

DOI10.12785/AMIS/070302MaRDI QIDQ4925408zbMATH OpenOpenAlexFDO

Authors Radhakrishnan Delhibabu, Gerhard Lakemeyer

Publication date 12 June 2013

Published in Applied Mathematics & Information Sciences (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1301.5154

zbMATH Keywords

abductionAGMbelief updateHorn knowledge base dynamicskernel changeview update

Mathematics Subject Classification ID

Database theory (68P15)

Abstract: The dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. In this paper, we argue that to apply rationality result of belief dynamics theory to various practical problems, it should be generalized in two respects: first of all, it should allow a certain part of belief to be declared as immutable; and second, the belief state need not be deductively closed. Such a generalization of belief dynamics, referred to as base dynamics, is presented, along with the concept of a generalized revision algorithm for Horn knowledge bases. We show that Horn knowledge base dynamics has interesting connection with kernel change and abduction. Finally, we also show that both variants are rational in the sense that they satisfy certain rationality postulates stemming from philosophical works on belief dynamics.

Recommendations

• scientific article; zbMATH DE number 1407677
• Foundations of Information and Knowledge Systems
• Information-Optimal Reflections of View Updates on Relational Database Schemata
• A logical framework for view updating in indefinite databases
• The View-Update Problem for Indefinite Databases
• An order-based theory of updates for closed database views
• scientific article; zbMATH DE number 219203

Cited in

(7)

• The View-Update Problem for Indefinite Databases
• Controlled Revision - An Algorithmic Approach for Belief Revision
• scientific article; zbMATH DE number 1755593 (Why is no real title available?)
• scientific article; zbMATH DE number 1761410 (Why is no real title available?)
• Knowledge base dynamics, abduction, and database updates
• scientific article; zbMATH DE number 1407677 (Why is no real title available?)
• Information-Optimal Reflections of View Updates on Relational Database Schemata

This page was built for publication: A Rational and Efficient Algorithm for View Revision in Databases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4925408)