Titlebook: Logics for Databases and Information Systems; Jan Chomicki,Gunter Saake Book 1998 Kluwer Academic Publishers 1998 concurrency.database.des

使熄滅

Cubicle

palliate

Aspiration

不規(guī)則的跳動(dòng)

充氣球

Grievance

Assemble

Temporal Logic in Information Systems, Different variants of temporal logic use different sets of such connectives. In this chapter, we survey the fundamental varieties of temporal logic and describe their applications in information systems..Several features of temporal logic make it especially attractive as a query and integrity const

放棄

The Role of Deontic Logic in the Specification of Information Systems,ctly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called’ soft’ constraints). To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance of distinguishing between ought-to-be and ought-to-d

嚴(yán)峻考驗(yàn)