Comparing and synthesizing integrity checking methods for deductive databases
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 214-222
- https://doi.org/10.1109/icde.1994.283033
Abstract
We compare and synthesize different methods for integrity checking in deductive databases. First, we state simplified integrity checking for deductive databases independently of the particular strategy used by different methods found in the literature. In accordance with this statement, we classify integrity checking methods into two main groups: methods with a generation phase without fact access and methods with a generation phase with fact access. Then, we propose an implementation scheme (a metaprogram) where the differences and similarities among the methods can be pointed out. In this common implementation framework, we compare the methods; this comparison is based on the number of facts accessed by each of them during integrity checking. Finally and from the analysis of the results, we define a convergence method which synthesizes some different features from several methods.Keywords
This publication has 8 references indexed in Scilit:
- Abduction for knowledge assimilation in deductive databasesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Foundations of Simplified Integrity Checking ReviewedPublished by Springer Nature ,1992
- A path finding method for constraint checking in deductive databasesData & Knowledge Engineering, 1989
- A uniform approach to constraint satisfaction and constraint satisfiability in deductive databasesPublished by Springer Nature ,1988
- Integrity constraint checking in stratified databasesThe Journal of Logic Programming, 1987
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- Logic for improving integrity checking in relational data bases?Acta Informatica, 1982