Update Procedures and the 1-Consistency of Arithmetic.

Published in: Math. Log. Q. (2002)

Keyphrases

update operations
update propagation
consistency checking
multiresolution
update transactions
replicated data
expert systems
search space
database
data warehouse
search procedures
multiscale
e learning
replicated databases
artificial intelligence
data mining
real world