Abstract | ||
---|---|---|
: We propose an extension of classical predicate calculus, calledTransaction Logic, which provides a logical foundation for the phenomenonof state changes in logic programs and databases. Transaction Logic comeswith a natural model theory and a sound and complete proof theory. The prooftheory not only verifies programs, but also executes them, which makes thislogic an ideal tool for declarative programming of database transactions andstate-modifying logic programs. The semantics of... |
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/978-1-4615-5643-5_5 | Logics for Databases and Information Systems |
Keywords | DocType | ISBN |
programming database transaction,model theory,declarative programming,proof theory | Conference | 0-7923-8129-7 |
Citations | PageRank | References |
36 | 3.52 | 38 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anthony J. Bonner | 1 | 733 | 422.63 |
Michael Kifer | 2 | 3980 | 950.22 |