Database programming in Transaction Logic (1993)
Cached
Download Links
- [www.cs.sunysb.edu]
- [ftp.cs.sunysb.edu]
- [ftp.cs.toronto.edu]
- [ftp.cs.toronto.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proc. 4th Int. Workshop on Database Programming Languages |
| Citations: | 24 - 13 self |
BibTeX
@INPROCEEDINGS{Bonner93databaseprogramming,
author = {Anthony J. Bonner and Michael Kifer and Mariano Consens},
title = {Database programming in Transaction Logic},
booktitle = {In Proc. 4th Int. Workshop on Database Programming Languages},
year = {1993},
pages = {309--337}
}
Years of Citing Articles
OpenURL
Abstract
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 for the phenomenon of state changes in logic programs and databases. It has a natural model theory and a sound and complete proof theory, but, unlike many other logics, it allows users to program transactions. In addition, the semantics leads naturally to features whose amalgamation in a single logic has proved elusive in the past. Finally, Transaction Logic holds promise as a logical model of hitherto non-logical phenomena, including so-called procedural knowledge in AI, and the behavior of object-oriented databases, especially methods with side effects. This paper focuses on the applications of T R to database systems, including transaction definition and execution, nested transactions, view updates, consistency maintenance, bulk updates, nondeterminism, sampling, active databases, dynamic integrity-constraints, hypothetical reasoning, and imperative-style programming.







