Database Programming in Transaction Logic

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-constr...

• Type: Conference
• Year: 1993
• Where: DBPL
• Authors: Anthony J. Bonner, Michael Kifer, Mariano P. Consens
• Keywords: Classical Predicate Logic, Database, DBPL 1993, Logic, Transaction Logic—an Extension