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 conferencePaperAcademicpeer-review

    4 Citations (Scopus)
    7 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

    Wieringa, R. J., Thalheim, B. (Ed.), Demetrovics, J. (Ed.), Meyer, J-JC., & Gerhardt, H. D. (Ed.) (1991). Actor-Oriented Specification of Dynamic and Deontic Integrity Constraints. 89-103. https://doi.org/10.1007/3-540-54009-1_7
    Wieringa, Roelf J. ; Thalheim, B. (Editor) ; Demetrovics, J. (Editor) ; Meyer, J.-J.Ch. ; Gerhardt, H.D. (Editor). / Actor-Oriented Specification of Dynamic and Deontic Integrity Constraints. 15 p.
    @conference{c81dc0f35483419a81cba0c6d645918f,
    title = "Actor-Oriented Specification of Dynamic and Deontic Integrity Constraints",
    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.",
    keywords = "IR-67615, SCS-Services, EWI-10669",
    author = "Wieringa, {Roelf J.} and B. Thalheim and J. Demetrovics and J.-J.Ch. Meyer and H.D. Gerhardt",
    year = "1991",
    month = "5",
    doi = "10.1007/3-540-54009-1_7",
    language = "Undefined",
    pages = "89--103",

    }

    Wieringa, RJ, Thalheim, B (ed.), Demetrovics, J (ed.), Meyer, J-JC & Gerhardt, HD (ed.) 1991, 'Actor-Oriented Specification of Dynamic and Deontic Integrity Constraints' pp. 89-103. https://doi.org/10.1007/3-540-54009-1_7

    Actor-Oriented Specification of Dynamic and Deontic Integrity Constraints. / Wieringa, Roelf J.; Thalheim, B. (Editor); Demetrovics, J. (Editor); Meyer, J.-J.Ch.; Gerhardt, H.D. (Editor).

    1991. 89-103.

    Research output: Contribution to conferencePaperAcademicpeer-review

    TY - CONF

    T1 - Actor-Oriented Specification of Dynamic and Deontic Integrity Constraints

    AU - Wieringa, Roelf J.

    AU - Meyer, J.-J.Ch.

    A2 - Thalheim, B.

    A2 - Demetrovics, J.

    A2 - Gerhardt, H.D.

    PY - 1991/5

    Y1 - 1991/5

    N2 - 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.

    AB - 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.

    KW - IR-67615

    KW - SCS-Services

    KW - EWI-10669

    U2 - 10.1007/3-540-54009-1_7

    DO - 10.1007/3-540-54009-1_7

    M3 - Paper

    SP - 89

    EP - 103

    ER -

    Wieringa RJ, Thalheim B, (ed.), Demetrovics J, (ed.), Meyer J-JC, Gerhardt HD, (ed.). Actor-Oriented Specification of Dynamic and Deontic Integrity Constraints. 1991. https://doi.org/10.1007/3-540-54009-1_7