Formalizing and Checking Multilevel Consistency.

Ahmed Bouajjani Constantin Enea Madhavan Mukund Gautham Shenoy R.S. P. Suresh

Published in: VMCAI (2020)

Keyphrases

consistency checking
wide range
database
databases
knowledge base
clustering algorithm
case study
image sequences
mobile devices
global constraints
temporal consistency