Sciweavers

439 search results - page 13 / 88
» Tabling for transaction logic
Sort
View
CORR
2010
Springer
108views Education» more  CORR 2010»
14 years 12 months ago
An Analysis of Transaction and Joint-patent Application Networks
Many firms these days, forced by increasing international competition and an unstable economy, are opting to specialize rather than generalize as a way of maintaining their compet...
Hiroyasu Inoue
188
Voted
SIGMOD
2008
ACM
182views Database» more  SIGMOD 2008»
15 years 12 months ago
Multi-tenant databases for software as a service: schema-mapping techniques
In the implementation of hosted business services, multiple tenants are often consolidated into the same database to reduce total cost of ownership. Common practice is to map mult...
Stefan Aulbach, Torsten Grust, Dean Jacobs, Alfons...
70
Voted
DAGSTUHL
1998
15 years 1 months ago
Results on Reasoning about Updates in Transaction Logic
Anthony J. Bonner, Michael Kifer
ENTCS
2002
69views more  ENTCS 2002»
14 years 11 months ago
Tiling Transactions in Rewriting Logic
Roberto Bruni, José Meseguer, Ugo Montanari