14348 search results - page 41 / 2870 » Active Database Systems |
ER
2009
Springer
13 years 6 months ago
2009
Springer
DBPL
1993
Springer
14 years 27 days ago
1993
Springer
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...
CN
2007
13 years 8 months ago
2007
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...
FMLDO
1999
Springer
14 years 1 months ago
1999
Springer
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...
ER
1998
Springer
14 years 1 months ago
1998
Springer
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...