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 fomulae, LNCS-Lecture Notes in Computer Science 2942), Hal. 14-30
Author Ofer Arieli; Marc Denecker; Berz Van Nuffelen and Maurice Bruynooghe;
Publisher Springer, 2003
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
006.33 Sei f TERSEDIA
Tidak ada review pada koleksi ini: 42180
We introduce a sample and practically efficient method for repairing inconsistent databases. The idea is property represent to underfying problem, and then use off-the shelf applications for efficiently computing the corresponding solutions. Given a possibley inconsistent database, we represent the possible ways to restore its consistency in terms of segmend formulae. The we show how the signed theory" that is obtioned can be used by a variety of computational logic program solvers, in order to rapidly and efficiently compute desired solutions, i.e consistent repairs of the database