439 search results - page 2 / 88 » Tabling for transaction logic |
IDEAS
2005
IEEE
13 years 10 months ago
2005
IEEE
Our goal is to support transaction-time functionality that enables the coexistence of ordinary, non-temporal tables with transaction-time tables. In such a system, each transactio...
EUROPAR
2004
Springer
13 years 10 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
CADE
2008
Springer
13 years 6 months ago
2008
Springer
CIKM
2004
Springer
13 years 10 months ago
2004
Springer
ADBIS
2006
Springer
13 years 11 months ago
2006
Springer
In existing systems, user transactions get blocked during materialized view creation and non-trivial database schema transformations. Blocking user transactions is not an option in...