<--- Back to Details
First PageDocument Content
Concurrency control / Predicate logic / Programming paradigms / Transaction processing / Linearizability / Logic programming / First-order logic / Parallel computing / Extensible Storage Engine / Logic / Mathematical logic / Mathematics
Date: 2013-09-26 17:14:49
Concurrency control
Predicate logic
Programming paradigms
Transaction processing
Linearizability
Logic programming
First-order logic
Parallel computing
Extensible Storage Engine
Logic
Mathematical logic
Mathematics

Tech Digest Figure Template_2 column_01-06-12

Add to Reading List

Source URL: techdigest.jhuapl.edu

Download Document from Source Website

File Size: 3,60 MB

Share Document on Facebook

Similar Documents

E-Store: Fine-Grained Elastic Partitioning for Distributed Transaction Processing Systems Rebecca Taft , Essam Mansour♣ , Marco Serafini♣ , Jennie DugganF , Aaron J. ElmoreN Ashraf Aboulnaga♣ , Andrew Pavlo♠ , M

DocID: 1ujM4 - View Document

Secure High-Rate Transaction Processing in Bitcoin (full version) Yonatan Sompolinsky1 and Aviv Zohar1,2 1

DocID: 1ugjO - View Document

Rental Program Details Flat Rate Transaction Processing Services NO HIDDEN FEES! No minimum transaction requirements No maximum transaction restrictions No per transaction fees

DocID: 1ua8w - View Document

Analysing Snapshot Isolation ANDREA CERONE, Imperial College London, UK ALEXEY GOTSMAN, IMDEA Software Institute, Spain Snapshot isolation (SI) is a widely used consistency model for transaction processing, implemented b

DocID: 1tLW7 - View Document

High Volume Transaction Processing Without Concurrency Control, Two Phase Commit, SQL or C++  Arthur Whitney Dennis Shasha Stevan Apter

DocID: 1ti9e - View Document