54 search results - page 6 / 11 » Integrity Constraints Checking In Deductive Databases |
ADVIS
2006
Springer
14 years 2 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 ...
ADBIS
2004
Springer
14 years 12 days 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...
PODS
1994
ACM
14 years 21 days 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...
VLDB
1990
ACM
14 years 20 days 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 ...
SEMWEB
2009
Springer
14 years 3 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...