Publication
Robustness Against Read Committed: A Free Transactional Lunch
Related concepts (31)
Transaction logic
Transaction Logic is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logic programs and databases. This extension adds connectives specifically designed for combining simple actions into complex transactions and for providing control over their execution. The logic has a natural model theory and a sound and complete proof theory. Transaction Logic has a Horn clause subset, which has a procedural as well as a declarative semantics.
Seismic base isolation
Seismic base isolation, also known as base isolation, or base isolation system, is one of the most popular means of protecting a structure against earthquake forces. It is a collection of structural elements which should substantially decouple a superstructure from its substructure that is in turn resting on the shaking ground, thus protecting a building or non-building structure's integrity. Base isolation is one of the most powerful tools of earthquake engineering pertaining to the passive structural vibration control technologies.
Robust measures of scale
In statistics, robust measures of scale are methods that quantify the statistical dispersion in a sample of numerical data while resisting outliers. The most common such robust statistics are the interquartile range (IQR) and the median absolute deviation (MAD). These are contrasted with conventional or non-robust measures of scale, such as sample standard deviation, which are greatly influenced by outliers.
Silver standard
The silver standard is a monetary system in which the standard economic unit of account is a fixed weight of silver. Silver was far more widespread than gold as the monetary standard worldwide, from the Sumerians 3000 BC until 1873. Following the discovery in the 16th century of large deposits of silver at the Cerro Rico in Potosí, Bolivia, an international silver standard came into existence in conjunction with the Spanish pieces of eight. These silver dollar coins played the role of an international trading currency for nearly four hundred years.
Software testing
Software testing is the act of examining the artifacts and the behavior of the software under test by validation and verification. Software testing can also provide an objective, independent view of the software to allow the business to appreciate and understand the risks of software implementation. Test techniques include, but are not necessarily limited to: analyzing the product requirements for completeness and correctness in various contexts like industry perspective, business perspective, feasibility and viability of implementation, usability, performance, security, infrastructure considerations, etc.
Test automation
In software testing, test automation is the use of software separate from the software being tested to control the execution of tests and the comparison of actual outcomes with predicted outcomes. Test automation can automate some repetitive but necessary tasks in a formalized testing process already in place, or perform additional testing that would be difficult to do manually. Test automation is critical for continuous delivery and continuous testing.
Gold reserve
A gold reserve is the gold held by a national central bank, intended mainly as a guarantee to redeem promises to pay depositors, note holders (e.g. paper money), or trading peers, during the eras of the gold standard, and also as a store of value, or to support the value of the national currency. The World Gold Council estimates that all the gold ever mined, and that is accounted for, totalled 190,040 metric tons in 2019 but other independent estimates vary by as much as 20%.
Shock mount
A shock mount or isolation mount is a mechanical fastener that connects two parts elastically. They are used for shock and vibration isolation. Isolation mounts allow a piece of equipment to be securely mounted to a foundation and/or frame and, at the same time, allow it to float independently from the substrate. Shock mounts can be found in a wide variety of applications. Shock mounts can be used to isolate the foundation or substrate from the dynamics of the mounted equipment.
Computer program
A computer program is a sequence or set of instructions in a programming language for a computer to execute. Computer programs are one component of software, which also includes documentation and other intangible components. A computer program in its human-readable form is called source code. Source code needs another computer program to execute because computers can only execute their native machine instructions. Therefore, source code may be translated to machine instructions using the language's compiler.
Externality
In economics, an externality or external cost is an indirect cost or benefit to an uninvolved third party that arises as an effect of another party's (or parties') activity. Externalities can be considered as unpriced goods involved in either consumer or producer market transactions. Air pollution from motor vehicles is one example. The cost of air pollution to society is not paid by either the producers or users of motorized transport to the rest of society. Water pollution from mills and factories is another example.