Negations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints

We introduce the negations of transactions in the sense of nonperformance as an ingredient of a specification language for integrity constraints. We investigate their (non-trivial) semantics in two stages: firstly a uniform semantics in terms of uninterpreted events, secondly a non-uniform semantics in terms of state (world) transforming functions. In particular we show the use of negated transactions in deontic integrity constraints.

[1]  Jan A. Bergstra,et al.  Process Algebra for Synchronous Communication , 1984, Inf. Control..

[2]  Martin Rem,et al.  Trace Theory and Systolic Computations , 1987, PARLE.

[3]  Hans Weigand,et al.  Linguistically Motivated Principles of Knowledge Base Systems , 1990 .

[4]  J.-J.Ch. Meyer.  Using Programming Concepts in Deontic Reasoning , 1989 .

[5]  Ernst-Rüdiger Olderog,et al.  Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency , 1988, J. Comput. Syst. Sci..

[6]  Hans Weigand,et al.  Specifying Dynamic and Deontic Integrity Constraints , 1989, Data Knowl. Eng..

[7]  John-Jules Ch. Meyer,et al.  Merging Regular Processes by Means of Fixed-Point Theory , 1986, Theor. Comput. Sci..

[8]  Manfred Broy,et al.  A Theory for Nondeterminism, Parallelism, Communication, and Concurrency , 1986, Theor. Comput. Sci..

[9]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[10]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[11]  Frank Dignum,et al.  Knowledge base modelling based on linguistics and founded in logic , 1991, Data Knowl. Eng..

[12]  Hans Weigand,et al.  A Specification Language for Static, Dynamic and Deontic Integrity Constraints , 1989, MFDBS.

[13]  Samit Khosla.  System specification: a deontic approach , 1989 .

[14]  Ernst-Rüdiger Olderog,et al.  Contrasting Themes in the Semantics of Imperative Concurrency , 1986, Current Trends in Concurrency.