TY - GEN
T1 - Simplification of integrity constraints for data integration
AU - Christiansen, Henning
AU - Martinenghi, Davide
PY - 2004
Y1 - 2004
N2 - When two or more databases are combined into a global one, integrity may be violated even when each database is consistent with its own local integrity constraints. Efficient methods for checking global integrity in data integration systems are called for: answers to queries can then be trusted, because either the global database is known to be consistent or suitable actions have been taken to provide consistent views. The present work generalizes simplification techniques for integrity checking in traditional databases to the combined case. Knowledge of local consistency is employed, perhaps together with given a priori constraints on the combination, so that only a minimal number of tuples needs to be considered. Combination from scratch, integration of a new source, and absorption of local updates are dealt with for both the local-as-view and global-as-view approaches to data integration.
AB - When two or more databases are combined into a global one, integrity may be violated even when each database is consistent with its own local integrity constraints. Efficient methods for checking global integrity in data integration systems are called for: answers to queries can then be trusted, because either the global database is known to be consistent or suitable actions have been taken to provide consistent views. The present work generalizes simplification techniques for integrity checking in traditional databases to the combined case. Knowledge of local consistency is employed, perhaps together with given a priori constraints on the combination, so that only a minimal number of tuples needs to be considered. Combination from scratch, integration of a new source, and absorption of local updates are dealt with for both the local-as-view and global-as-view approaches to data integration.
M3 - Article in proceedings
T3 - Lecture Notes in Computer Science
SP - 31
EP - 48
BT - Foundations of Information and Knowledge Systems
PB - Kluwer Academic Publishers
T2 - Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS)
Y2 - 17 January 2004 through 20 January 2004
ER -