Database repairs with answer set programming

Detalhes bibliográficos
Autor(a) principal: Alves, Ricardo Jorge de Aragão Vaz
Data de Publicação: 2011
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10362/6325
Resumo: Dissertação para obtenção do Grau de Mestre em Engenharia Informática
id RCAP_0099e2cb02fffcaa7a5dc31f3d3fcf50
oai_identifier_str oai:run.unl.pt:10362/6325
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Database repairs with answer set programminganswer set programmingRelational databasesIntegrity constraintsInconsistencyRepairsMinimalityDissertação para obtenção do Grau de Mestre em Engenharia InformáticaIntegrity constraints play an important part in database design. They are what allow databases to store accurate information, since they impose some properties that must always hold. However, none of the existing Database Management Systems allows the specification of new integrity constraints if the information stored is already violating these new integrity constraints. In this dissertation, we developed DRSys, an application that allows the user to specify integrity constraints that he wishes to enforce in the database. If the database becomes inconsistent with respect to such integrity constraints, DRSys returns to the user possible ways to restore consistency, by inserting or deleting tuples into/from the original database, creating a new consistent database, a database repair. Also, since we are dealing with databases, we want to change as little information as possible, so DRSys offers the user two distinct minimality criteria when repairing the database: minimality under set inclusion or minimality under cardinality of operations. We approached the database repairing problem by using the capacity of problem solving offered by Answer Set Programming (ASP), which benefits from the simple specification of problems, and the existence of “Solvers” that solve those problems in an efficient manner. DRSys is a database repair application that was built on top of the database management system PostgreSQL. Furthermore, we developed a graphical user interface, to aid the user in the whole process of defining new integrity constraints and in the process of database repairing. We evaluate the performance and scalability of DRSys, by presenting several tests in different situations, exploring particular features of it as well, in order to understand the scalability of DRSys.Faculdade de Ciências e TecnologiaLeite, JoãoRUNAlves, Ricardo Jorge de Aragão Vaz2011-12-14T16:10:11Z20112011-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10362/6325enginfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-03-11T03:37:36Zoai:run.unl.pt:10362/6325Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:16:51.085264Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Database repairs with answer set programming
title Database repairs with answer set programming
spellingShingle Database repairs with answer set programming
Alves, Ricardo Jorge de Aragão Vaz
answer set programming
Relational databases
Integrity constraints
Inconsistency
Repairs
Minimality
title_short Database repairs with answer set programming
title_full Database repairs with answer set programming
title_fullStr Database repairs with answer set programming
title_full_unstemmed Database repairs with answer set programming
title_sort Database repairs with answer set programming
author Alves, Ricardo Jorge de Aragão Vaz
author_facet Alves, Ricardo Jorge de Aragão Vaz
author_role author
dc.contributor.none.fl_str_mv Leite, João
RUN
dc.contributor.author.fl_str_mv Alves, Ricardo Jorge de Aragão Vaz
dc.subject.por.fl_str_mv answer set programming
Relational databases
Integrity constraints
Inconsistency
Repairs
Minimality
topic answer set programming
Relational databases
Integrity constraints
Inconsistency
Repairs
Minimality
description Dissertação para obtenção do Grau de Mestre em Engenharia Informática
publishDate 2011
dc.date.none.fl_str_mv 2011-12-14T16:10:11Z
2011
2011-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10362/6325
url http://hdl.handle.net/10362/6325
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Faculdade de Ciências e Tecnologia
publisher.none.fl_str_mv Faculdade de Ciências e Tecnologia
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799137817481183232

Registros relacionados