439 search results - page 4 / 88 » Tabling for transaction logic |
DLOG
2003
13 years 7 months ago
2003
We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...
RSFDGRC
1999
Springer
13 years 10 months ago
1999
Springer
Abstract. A generalized decision logic in interval-set-valued information tables is introduced, which is an extension of decision logic studied by Pawlak. Each object in an interva...
IJDAR
2006
13 years 6 months ago
2006
Tables are a ubiquitous form of communication. While everyone seems to know what a table is, a precise, analytical definition of "tabularity" remains elusive because some...
IPPS
2002
IEEE
13 years 11 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...
SP
1999
IEEE
13 years 10 months ago
1999
IEEE
A TCB and security kernel architecture for supporting multi-threaded, queue-driven transaction processing applications in a multilevel secure environment is presented. Our design ...