439 search results - page 34 / 88 » Tabling for transaction logic |
128
click to vote
FPGA
2008
ACM
15 years 1 months ago
2008
ACM
Look-up table based FPGAs have migrated from a niche technology for design prototyping to a valuable end-product component and, in some cases, a replacement for general purpose pr...
111
click to vote
DAWAK
2000
Springer
15 years 4 months ago
2000
Springer
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
123
click to vote
ISMVL
1993
IEEE
15 years 4 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...
113
click to vote
VLDB
1991
ACM
15 years 3 months ago
1991
ACM
It is widely recognized that production rules in database systems can be used to automatically maintain derived data such as views. However, writing a correct set of rules for e ci...
ISAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Designing and programming dependable distributed applications is very difficult. Databases provide features like transactions and replication that can help in the impleme...