Modelling dynamic constraints using augmented place transition nets.

Thomas A. Mück Günther Vinek

Published in: Inf. Syst. (1989)

Keyphrases

dynamic constraints
temporal logic
active rules
functional dependencies
relational model
database systems
knowledge base