CCC - The Casl Consistency Checker.

Christoph Lüth Markus Roggenbach Lutz Schröder

Published in: WADT (2004)

Keyphrases

data sets
search engine
global constraints
global consistency
temporal consistency
real time
databases
machine learning
computer vision
distributed databases
consistency checking
maintaining consistency