This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
Anthony J. Bonner, Michael Kifer, Mariano P. Conse...
Self-protecting systems require the ability to instantaneously detect malicious activity at run-time and prevent execution. We argue that it is impossible to perfectly self-protec...
Ashvin Goel, Wu-chang Feng, Wu-chi Feng, David Mai...
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...
This paper proposes a new type of database for collaborative work. Known types of databases for collaborative work are databases of shared data and those of process data. A new typ...