Introducing Dynamic Constraints in B.

Jean-Raymond Abrial Louis Mussat

Published in: B (1998)

Keyphrases

dynamic constraints
temporal logic
active rules
functional dependencies
spatio temporal
model checking
relational model
plan execution
temporal dimension
database
databases