439 search results - page 21 / 88 » Tabling for transaction logic |
120
click to vote
PPOPP
2006
ACM
15 years 5 months ago
2006
ACM
We investigate a transactional memory runtime system providing scaling and strong consistency for generic C++ and SQL applications on commodity clusters. We introduce a novel page...
100
click to vote
WWW
2006
ACM
16 years 15 days ago
2006
ACM
There are principal differences between the relational model and XML's tree model. This causes problems in all cases where information from these two worlds has to be brought...
105
click to vote
APIN
2000
14 years 11 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
106
click to vote
ENTCS
2008
14 years 12 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...
CIDR
2009
15 years 28 days ago
2009
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a di...