Abstract
Integrity checking for stratifiable deductive databases has been studied by many authors. In order to handle recursive relations, most of these methods adopt update driven approach to validate each given constraint. These methods start their algorithm from the given update and perform some operations (refutations) until it reaches the constraint formula. However, when the update is irrelevant to the constraint, these methods still perform their operations only to find that the constraint formula cannot be violated. In this case considerable effort is wasted. In this paper, we shall explore this problem and propose a set called relevant-set which can be incorporated with most of these existing constraint checking methods, to detect some of these unnecessary checkings. The relevant-set needs only to be calculated once for each integrity constraint. Furthermore, the set can also take advantage of some evaluable functions in the constraint and rules so that more unnecessary checkings can be detected.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Reference
J.M. Nicolas, “Logic for improving integrity checking in relational databases”, Acta Informatica 18,(3), 1982, 227–253.
H. Decker, “Integrity enforcements on deductive databases”, in L.Kerschberg (ed.) Proceedings of the First International Conference on Expert Database Systems, Charleston, South Carolina (April 1986) 271–285.
R.A. Kowalski, F. Sadri and P. Soper, “Integrity constraint in deductive databases”, Proceedings of the 13th VLDB Conference, Brighton (1987) 61–69.
J.W. Lloyd, E.A. Sonenberg and R.W. Topor, “Integrity Constraint Checking in Stratified Databases”, Journal of Logic Programming, Vol 4, No 4, 1987.
F. Bry, H. Decker and R. Manthey, “A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases”, Proceedings of Extending Database Technology, Venice, 1988, 488–505.
S.K. Das and M.H. Williams, “A path finding method for constraint checking in deductive databases”, Data and Knowledge Engineering 3 (1989) 223–244.
M. Celma, J.C. Casamayor and H. Decker, “Improving Integrity Checking by Compiling Derivation Paths”, Proceedings of the Fourth Australian Database Conference, Australia, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, S.Y., Ling, T.W. (1994). Improving integrity constraint checking for stratified deductive databases. In: Karagiannis, D. (eds) Database and Expert Systems Applications. DEXA 1994. Lecture Notes in Computer Science, vol 856. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58435-8_225
Download citation
DOI: https://doi.org/10.1007/3-540-58435-8_225
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58435-3
Online ISBN: 978-3-540-48796-8
eBook Packages: Springer Book Archive