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