347 search results - page 40 / 70 » Database Programming in Transaction Logic |
ADBIS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Caching data reduces user-perceived latency and often enhances availability in case of server crashes or network failures. DB caching aims at local processing of declarat...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
The past few decades have witnessed a chronic and widening imbalance among processor bandwidth, disk capacity, and access speed of disk. According to Amdhal's law, the perfor...
MSS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proposes STORAGEDB: a paradigm for implementing storage virtualation using databases. It describes details for storing the logical-to-physical mapping information as ta...
CADE
2001
Springer
14 years 9 months ago
2001
Springer
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...