Abstract | ||
---|---|---|
This paper is an informal account of Transaction Logic---a new logicrecently introduced in [4]. Transaction Logic was devised to deal withthe phenomena of state changes in logic programming, databases, and AI.Transaction Logic has a natural model theory and a sound and completeproof theory. Unlike many other logics, however, it is suitable for programming transactions, transactions that accomplish state transitions ina logically correct manner. Transaction logic amalgamates such features... |
Year | Venue | Keywords |
---|---|---|
1992 | Formal Methods in Databases and Software Engineering | transaction Logic |
Field | DocType | ISBN |
Atomic formula,Transaction logic,Computer science,Logical data model,Proof theory,Theoretical computer science,Classical logic,Model theory,Logic programming,Database transaction | Conference | 3-540-19812-1 |
Citations | PageRank | References |
2 | 1.06 | 9 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anthony J. Bonner | 1 | 733 | 422.63 |
Michael Kifer | 2 | 3980 | 950.22 |