Actor-Oriented Specification of Dynamic and Deontic Integrity Constraints

Roelf J. Wieringa, B. Thalheim (Editor), J. Demetrovics (Editor), J.-J.Ch. Meyer, H.D. Gerhardt (Editor)

    Research output: Contribution to conferencePaper

    4 Citations (Scopus)
    14 Downloads (Pure)

    Abstract

    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.
    Original languageUndefined
    Pages89-103
    Number of pages15
    DOIs
    Publication statusPublished - May 1991

    Keywords

    • IR-67615
    • SCS-Services
    • EWI-10669

    Cite this