The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?

DOI10.1007/BF01530931zbMath0873.68134MaRDI QIDQ1360685

R. J. Wieringa, F. P. M. Dignum, John-Jules Ch. Meyer, Hans-Georg Weigand

Publication date: 9 October 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

conceptual modelsdeontic integrity constraints

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

A deontic approach to database integrity ⋮ Actors, actions, and initiative in normative system specification ⋮ Deontic database constraints, violation and recovery ⋮ Free choice and contextually permitted actions

Cites Work

• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Circumscription - a form of non-monotonic reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?