Actor-Oriented Specification of Dynamic and Deontic Integrity Constraints

Autor: Wieringa, Roelf J., Thalheim, B., Demetrovics, J., Meyer, J.-J.Ch., Gerhardt, H.D.
Rok vydání: 1991
Předmět:
Zdroj: STARTPAGE=89;ENDPAGE=103;TITLE=None
Popis: 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.
Databáze: OpenAIRE