Concepts inBrewer's conjecture and the feasibility of consistent, available, partition-tolerant web services

Conjecture

A conjecture is a proposition that is unproven but is thought to be true and has not been disproven. Karl Popper pioneered the use of the term "conjecture" in scientific philosophy. Conjecture is contrasted by hypothesis, which is a testable statement based on accepted grounds. In mathematics, a conjecture is an unproven proposition or theorem that appears correct.  more from Wikipedia

Web service

A Web service is a method of communication between two electronic devices over the Web. The W3C defines a "Web service" as "a software system designed to support interoperable machine-to-machine interaction over a network". It has an interface described in a machine-processable format (specifically Web Services Description Language, known by the acronym WSDL).  more from Wikipedia

Brewing

Brewing is the production of beer through steeping a starch source in water and then fermenting with yeast. Brewing has taken place since around the 6th millennium BC, and archaeological evidence suggests that this technique was used in ancient Egypt. Descriptions of various beer recipes can be found in Sumerian writings, some of the oldest known writing of any sort. Brewing takes place in a brewery by a brewer, and the brewing industry is part of most western economies.  more from Wikipedia

Consistency model

In computer science, consistency models are used in distributed systems like distributed shared memory systems or distributed data stores. The system supports a given model, if operations on memory follow specific rules. The data consistency model specifies a contract between programmer and system, wherein the system guarantees that if the programmer follows the rules, memory will be consistent and the results of memory operations will be predictable.  more from Wikipedia

Distributed computing

Distributed computing is a field of computer science that studies distributed systems. A distributed system consists of multiple autonomous computers that communicate through a computer network. The computers interact with each other in order to achieve a common goal. A computer program that runs in a distributed system is called a distributed program, and distributed programming is the process of writing such programs.  more from Wikipedia

Model theory

In mathematics, model theory is the study of (classes of) mathematical structures using tools from mathematical logic. It has close ties to abstract algebra, particularly universal algebra. Objects of study in model theory are models for formal languages which are structures that give meaning to the sentences of these formal languages.  more from Wikipedia

Computer network

A computer network, often simply referred to as a network, is a collection of hardware components and computers interconnected by communication channels that allow sharing of resources and information. Where at least one process in one device is able to send/receive data to/from at least one process residing in a remote device, then the two devices are said to be in a network.  more from Wikipedia