The logic of norms, called deontic logic, has been used to specify static, dynamic and deontic integrity constraints for databases. For example, one can specify in deontic logic that a book borrowed from a library should be returned within three weeks, and that if it is not returned, the library should send a reminder. Intuitively, deontic logic presupposes the concept of an actor who undertakes actions and is responsible for fulfilling obligations. Until now, this concept has not been formalized. We present a formalization that increases the expressivity of database specifications, as well as allows us to solve a long-standing paradox of deontic logic.
|Number of pages||15|
|Publication status||Published - May 1991|
|Event||3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, MFDBS - Rostock, Germany|
Duration: 6 May 1991 → 9 May 1991
|Conference||3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, MFDBS|
|Period||6/05/91 → 9/05/91|
|Other||6-9 May 1991|