A specification language for static, dynamic and deontic integrity constraints

This publication has 18 references indexed in Scilit:

• Specification and verification of database dynamics
  Acta Informatica, 1988
• Bureaucracies as deontic systems
  ACM Transactions on Information Systems, 1988
• Monitoring dynamic integrity constraints based on temporal logic
  Information Systems, 1987
• Integrity constraint checking in stratified databases
  The Journal of Logic Programming, 1987
• Constraint modelling using a conceptual prototyping language
  Data & Knowledge Engineering, 1987
• Stepwise specification of dynamic database behaviour
  Published by Association for Computing Machinery (ACM) ,1986
• Dynamic Logic
  Published by Springer Nature ,1984
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• New Studies in Deontic Logic
  Published by Springer Nature ,1981
• Some Nasty Problems in the Formal Logic of Ethics
  Noûs, 1967