Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number 006.33 Sei f
Collection Type Indeks Artikel LNCS
Title Database repair by signed formulae, Hal. 14-30
Author Ofer Arieli; Marc Denecker; Bert Van Nuffelen; Maurice Bruynoohg;
Publisher Springer, 2004
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
006.33 Sei f TERSEDIA
Tidak ada review pada koleksi ini: 40617
We introduce a simple and practically efficient method for repairing inconsistent database. The idea is to properly represent the underlying problem, and then use off-the shelf applications for efficiently computing the corresponding solutions. Given a possibly inconsistent database, we represent the possible ways to restore is consistency in terms of signed formulae. Then we show how the signed theory that is obtained can be usesd by a variety of computational models for processing quantified boolean formulae, or by constraint logic program solvers, in order to rapidly and efficiently compute desired solutions, i.e, consistents repairs of the database.