Titlebook: MFDBS 91; 3rd Symposium on Mat Bernhard Thalheim,János Demetrovics,H. -D. Gerhard Conference proceedings 1991 Springer-Verlag Berlin Heidel

惹人反感

分解

0302-9743 ock, FRG, May 6-9, 1991. This is the third in a series of biannual MFDBS conferences, which in future will be held together with ICDT, the International Conference on Database Theory. .MFDBS 91. covers new developments in theoretical aspects of database and knowledge base systems and the design of d

entice

Conference proceedings 1991May 6-9, 1991. This is the third in a series of biannual MFDBS conferences, which in future will be held together with ICDT, the International Conference on Database Theory. .MFDBS 91. covers new developments in theoretical aspects of database and knowledge base systems and the design of databases a

小卒

Specifying operations for nested relations by rules and partial orders,pproach. Finally, we define the meta-concept . that enables us to express operations being non-monotone with respect to each possible partial order. This concept is comparable to the concept of stratification in other approaches, but the basic idea is different.

Figate

孤僻

cluster

ADORE

Heresy

agenda

Actor-oriented specification of deontic integrity constraints,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.