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 meth- ods with side eects. This paper focuses on the applications of TR to database systems, including transaction denition and execution, nested transactions, view updates, consistency maintenance, bulk updates, non- determinism, sampling, active databases, dynamic integrity-constraints, hypothetical reasoning, and imperative-style programming. |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/978-1-4471-3564-7_18 | DBPL |
Keywords | Field | DocType |
transaction logic,database programming,nested transaction,database system,proof theory,model theory,procedural knowledge,integrity constraints | Transaction logic,Transaction processing,Programming language,Computer science,Consistency (database systems),Database theory,Database transaction,Nested transaction,Predicate logic,Distributed transaction,Database | Conference |
ISBN | Citations | PageRank |
3-540-19853-9 | 34 | 24.56 |
References | Authors | |
30 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anthony J. Bonner | 1 | 733 | 422.63 |
Michael Kifer | 2 | 3980 | 950.22 |
Mariano P. Consens | 3 | 1203 | 387.78 |