Incremental Consistency Checking of Dynamic Constraints.

Iris Groher Alexander Reder Alexander Egyed

Published in: FASE (2010)

Keyphrases

consistency checking
dynamic constraints
query answering
functional dependencies
temporal logic
temporal constraints
active rules
temporal reasoning
integrity constraints
relational model
spatio temporal
model checking