637 search results - page 5 / 128 » Inconsistency-Tolerant Integrity Checking |
ADC
1993
Springer
15 years 1 months ago
1993
Springer
We present a procedure for deriving the weakest precondition for a database update and an integrity constraint. We show how to simplify the weakest precondition to produce a condi...
102
click to vote
VLDB
1991
ACM
15 years 27 days ago
1991
ACM
We propose a new method for integrity checking in deductive databases.The methodaugmentsadatabasewith asetof transition and internal eventsrules,which explicitly definetheinsertio...
105
click to vote
ADVIS
2006
Springer
15 years 3 months ago
2006
Springer
A hitherto unquestioned assumption made by all methods for integrity checking has been that the database satisfies its constraints before each update. This consistency assumption ...
RECOSOC
2007
14 years 10 months ago
2007
Code Compression has been shown to be efficient in minimizing the memory requirements for embedded systems as well as in power consumption reduction and performance improvement. I...
JDM
2006
14 years 9 months ago
2006
Global semantic integrity constraints ensure integrity and consistency of data spanning multiple databases. In this paper, we take the initial steps towards representing global se...