Deontic database constraints, violation and recovery

DOI10.1007/BF00370673zbMath0864.03023MaRDI QIDQ1922825

José Carmo, Andrew J. I. Jones

Publication date: 12 November 1996

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modelsdeontic logicconstraint violationnormative systemdatabase integrityrecovery operatorsdeontic operatorsdatabase specificationsdeontic constraintnecessity operatorspossibility operatorssoft integrity constraints

Mathematics Subject Classification ID

Database theory (68P15) Other nonclassical logic (03B60) Other applications of logic (03B80)

Related Items (4)

A formalisation of violation, error recovery, and enforcement in the bit transmission problem ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Agent strands in the action language \(n\mathcal C +\) ⋮ Reasoning about System-Degradation and Fault-Recovery with Deontic Logic

Cites Work

• Unnamed Item
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Specification and verification of database dynamics
• Towards a formal theory of defeasible deontic conditionals
• The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?
• Temporal Reasoning over Deontic Specifications

This page was built for publication: Deontic database constraints, violation and recovery