Consistency Preservation and Crazy Formulas in BMS.

Guillaume Aucher

Published in: JELIA (2008)

Keyphrases

real time
databases
horn clauses
consistency checking
maintaining consistency
database
data sets
genetic algorithm
bayesian networks
long term
distributed databases
global constraints
constraint networks
temporal consistency
electronic circuits