Computational methods for database repair by signed formulae* | Zendy

Ofer Arieli | Zendy; Marc Denecker | Zendy; Bert Van Nuffelen | Zendy; Maurice Bruynooghe | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Computational methods for database repair by signed formulae*

Author(s) -

Ofer Arieli,

Marc Denecker,

Bert Van Nuffelen,

Maurice Bruynooghe

Publication year - 2006

Publication title -

annals of mathematics and artificial intelligence

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.369

H-Index - 55

eISSN - 1573-7470

pISSN - 1012-2443

DOI - 10.1007/s10472-005-9012-z

Subject(s) - consistency (knowledge bases) , computer science , variety (cybernetics) , simple (philosophy) , database , database theory , theoretical computer science , algorithm , database design , artificial intelligence , philosophy , epistemology

We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i.e., to describe the possible ways of restoring its consistency. We do so by what we call signed formulae, and show how the 'signed theory' that is obtained can be used by a variety of off-the-shelf computational models in order to compute the corresponding solutions, i.e., consistent repairs of the database.status: publishe

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research