Sciweavers

111 search results - page 23 / 23
» Modeling continuous changes of the user's dynamic behavior i...
Sort
View
DBPL
1993
Springer
89views Database» more  DBPL 1993»
13 years 10 months ago
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 f...
Anthony J. Bonner, Michael Kifer, Mariano P. Conse...