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

退出可食用

Evolving Logical Specification in Information Systems, to model evolution of object axioms..The Syntax and semantics of .OSL are given together with a translation of the specification language constructs into .OSL. The corresponding proof theory is discussed together with guidelines for formally certifying object properties. Additionally, we show the u