UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Incorporating classical logic argumentation into policy-based inconsistency management in relational databases

Martinez, MV; Hunter, A; (2009) Incorporating classical logic argumentation into policy-based inconsistency management in relational databases. AAAI Fall Symposium - Technical Report , FS-09-06 52 - 57.

Full text not available from this repository.

Abstract

Inconsistency management policies allow a relational database user to express customized ways for managing inconsistency according to his need. For each functional dependency, a user has a library of applicable policies, each of them with constraints, requirements, and preferences for their application, that can contradict each other. The problem that we address in this work is that of determining a subset of these policies that are suitable for application w.r.t. the set of constraints and user preferences. We propose a classical logic argumentation-based solution, which is a natural approach given that integrity constraints in databases and data instances are, in general, expressed in first order logic (FOL). An automatic argumentation-based selection process allows to retain some of the characteristics of the kind of reasoning that a human would perform in this situation. Copyright © 2009, Association for the Advancement of Artificial Intelligence. All rights reserved.

Type:Article
Title:Incorporating classical logic argumentation into policy-based inconsistency management in relational databases
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record