637 search results - page 5 / 128 » Inconsistency-Tolerant Integrity Checking |
119
Voted
ADC
1993
Springer
15 years 4 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...
116
Voted
VLDB
1991
ACM
15 years 3 months ago
1991
ACM
We propose a new method for integrity checking in deductive databases.The methodaugmentsadatabasewith asetof transition and internal eventsrules,which explicitly definetheinsertio...
124
Voted
ADVIS
2006
Springer
15 years 6 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 ...
101
Voted
RECOSOC
2007
15 years 1 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
15 years 6 days 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...