54 search results - page 6 / 11 » Integrity Constraints Checking In Deductive Databases |
126
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 ...
121
click to vote
ADBIS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
86
Voted
PODS
1994
ACM
15 years 4 months ago
1994
ACM
Abstract Appears in Proceedings of the Thirteenth Symposium on Principles of Database Systems, 1994 Ashish Gupta Yehoshua Sagivy Je rey D. Ullman Jennifer Widom Dept. of Computer S...
114
Voted
VLDB
1990
ACM
15 years 4 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
89
Voted
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. Howeve...