347 search results - page 8 / 70 » Database Programming in Transaction Logic |
CIDR
2011
12 years 11 months ago
2011
The Deuteronomy system supports efficient and scalable ACID transactions in the cloud by decomposing functions of a database storage engine kernel into: (a) a transactional compon...
SIGMOD
2005
ACM
14 years 1 months ago
2005
ACM
There is a class of data, including messages and business workflow state, for which conventional monolithic databases are less than ideal. Performance and scalability of Applicati...
ICLP
2011
Springer
12 years 11 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
TLDI
2009
ACM
14 years 4 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
PRDC
2006
IEEE
14 years 1 months ago
2006
IEEE
On-time data management is becoming a key difficulty faced by the information infrastructure of most organizations. In fact, database applications for critical areas are increasing...