36 search results - page 2 / 8 » Computational methods for database repair by signed formulae |
PODS
1999
ACM
13 years 9 months ago
1999
ACM
In this paper we consider the problem of the logical characterization of the notion of consistent answer in a relational database that may violate given integrity constraints. Thi...
IVA
2009
Springer
13 years 12 months ago
2009
Springer
Over the past decade, motion capture data has become a popular research tool, and motion databases have grown exponentially. Indexing, querying, and retrieving data has thus become...
VLDB
2007
ACM
14 years 5 months ago
2007
ACM
Two central criteria for data quality are consistency and accuracy. Inconsistencies and errors in a database often emerge as violations of integrity constraints. Given a dirty dat...
NDSS
2000
IEEE
13 years 9 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
PARLE
1993
13 years 9 months ago
1993
: An arithmetic approach, such as the Level-Finding method described in this paper for evaluating linear recursive queries in deductive database systems provides great potential fo...