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