|
П |
A Logical Framework for the Specification of Transactions |
2000 |
Wichert C. -A., Freitag B., Fent A. |
Lecture Notes in Computer Science |
|
Univ.Passau |
|
28.10.2000 |
|
П |
On the Compositionality and Transactional Execution of Electronic Services |
2000 |
Wichert C. -A., Fent A., Freitag B. |
|
|
Univ.Passau |
|
28.10.2000 |
|
СТ |
Logical Update Queries as Open Nested Transactions |
2000 |
Fent A., Wichert C. -A., Freitag B. |
|
|
|
Lecture Notes in Computer Science |
08.04.2000 |
|
П |
Logical Transactions and Serializability |
1998 |
Wichert C. -A., Freitag B., Fent A. |
Lecture Notes in Computer Science |
|
Univ.Passau |
|
07.01.1999 |
|
П |
How to Execute ULTRA Transactions |
1998 |
Wichert C. -A., Fent A., Freitag B. |
Lecture Notes in Computer Science |
|
Univ.Passau |
|
07.01.1999 |
|
СТ |
Capturing Database Dynamics by Deferred Updates |
1997 |
Wichert C. -A., Freitag B. |
|
|
|
Logic Programming |
11.03.1998 |
