{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-cap-theorem",
  "id": "cap-theorem",
  "kind": "model",
  "layer": {
    "href": "https://banes-lab.com/ontology/schema#layer-causality-core",
    "json": "https://banes-lab.com/json/records/layer/causality-core",
    "label": "Causality Core",
    "markdown": "https://banes-lab.com/records/layer/causality-core.md",
    "ref": "layer:causality-core"
  },
  "name": "CAP Theorem",
  "ref": "architecture:cap-theorem",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-network-partition-possibility",
          "json": "https://banes-lab.com/json/records/lexicon/network-partition-possibility",
          "label": "Network Partition Possibility",
          "markdown": "https://banes-lab.com/records/lexicon/network-partition-possibility.md",
          "ref": "lexicon:network-partition-possibility"
        }
      ],
      "relation": "requires"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-causal-consistency",
          "json": "https://banes-lab.com/json/records/architecture/causal-consistency",
          "label": "Causal Consistency",
          "markdown": "https://banes-lab.com/records/architecture/causal-consistency.md",
          "ref": "architecture:causal-consistency"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-eventual-consistency",
          "json": "https://banes-lab.com/json/records/architecture/eventual-consistency",
          "label": "Eventual Consistency",
          "markdown": "https://banes-lab.com/records/architecture/eventual-consistency.md",
          "ref": "architecture:eventual-consistency"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-explicit-consistency-availability-choice-under-partition",
          "json": "https://banes-lab.com/json/records/lexicon/explicit-consistency-availability-choice-under-partition",
          "label": "Explicit Consistency/Availability Choice Under Partition",
          "markdown": "https://banes-lab.com/records/lexicon/explicit-consistency-availability-choice-under-partition.md",
          "ref": "lexicon:explicit-consistency-availability-choice-under-partition"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-assumed-total-consistency-and-availability",
          "json": "https://banes-lab.com/json/records/lexicon/assumed-total-consistency-and-availability",
          "label": "Assumed Total Consistency And Availability",
          "markdown": "https://banes-lab.com/records/lexicon/assumed-total-consistency-and-availability.md",
          "ref": "lexicon:assumed-total-consistency-and-availability"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-latency",
          "json": "https://banes-lab.com/json/records/architecture/latency",
          "label": "Latency",
          "markdown": "https://banes-lab.com/records/architecture/latency.md",
          "ref": "architecture:latency"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-cap-theorem-latency",
          "json": "https://banes-lab.com/json/records/tension/cap-theorem-latency",
          "label": "CAP Theorem / Latency",
          "markdown": "https://banes-lab.com/records/tension/cap-theorem-latency.md",
          "ref": "tension:cap-theorem-latency"
        }
      ],
      "relation": "tensions"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-assumed-total-consistency-and-availability",
          "json": "https://banes-lab.com/json/records/lexicon/assumed-total-consistency-and-availability",
          "label": "Assumed Total Consistency And Availability",
          "markdown": "https://banes-lab.com/records/lexicon/assumed-total-consistency-and-availability.md",
          "ref": "lexicon:assumed-total-consistency-and-availability"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#vocabulary-severity-contextual",
          "json": "https://banes-lab.com/json/records/vocabulary/severity-contextual",
          "label": "contextual",
          "markdown": "https://banes-lab.com/records/vocabulary/severity-contextual.md",
          "ref": "vocabulary:severity-contextual"
        }
      ],
      "relation": "severity"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-category-causality-ordering-distributed-time",
          "json": "https://banes-lab.com/json/records/architecture-category/causality-ordering-distributed-time",
          "label": "Causality / Ordering / Distributed Time",
          "markdown": "https://banes-lab.com/records/architecture-category/causality-ordering-distributed-time.md",
          "ref": "architecture-category:causality-ordering-distributed-time"
        }
      ],
      "relation": "category"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-pacelc-theorem",
          "json": "https://banes-lab.com/json/records/architecture/pacelc-theorem",
          "label": "PACELC Theorem",
          "markdown": "https://banes-lab.com/records/architecture/pacelc-theorem.md",
          "ref": "architecture:pacelc-theorem"
        }
      ],
      "relation": "required-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-pacelc-theorem",
          "json": "https://banes-lab.com/json/records/architecture/pacelc-theorem",
          "label": "PACELC Theorem",
          "markdown": "https://banes-lab.com/records/architecture/pacelc-theorem.md",
          "ref": "architecture:pacelc-theorem"
        }
      ],
      "relation": "reinforced-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/software-architecture/principles#separate-trade-or-mitigate",
          "json": "https://banes-lab.com/json/software-architecture/principles/separate-trade-or-mitigate",
          "label": "Separate, trade, or mitigate",
          "markdown": "https://banes-lab.com/software-architecture/principles/separate-trade-or-mitigate.md",
          "ref": "chapter:/software-architecture/principles#separate-trade-or-mitigate"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-causality-ordering-distributed-time",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-causality-ordering-distributed-time",
          "label": "Causality / Ordering / Distributed Time",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-causality-ordering-distributed-time.md",
          "ref": "chapter:/ontology#architecture-category-causality-ordering-distributed-time"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-event-messaging-asynchronous-architecture",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-event-messaging-asynchronous-architecture",
          "label": "Event / Messaging / Asynchronous Architecture",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-event-messaging-asynchronous-architecture.md",
          "ref": "chapter:/ontology#architecture-category-event-messaging-asynchronous-architecture"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-scalability-performance-optimization",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-scalability-performance-optimization",
          "label": "Scalability / Performance / Optimization",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-scalability-performance-optimization.md",
          "ref": "chapter:/ontology#architecture-category-scalability-performance-optimization"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-causality-ordering-distributed-time",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-causality-ordering-distributed-time",
          "label": "Causality / Ordering / Distributed Time",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-causality-ordering-distributed-time.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-causality-ordering-distributed-time"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-vocabulary-severity",
          "json": "https://banes-lab.com/json/ontology/schema/the-vocabulary-severity",
          "label": "Severity levels",
          "markdown": "https://banes-lab.com/ontology/schema/the-vocabulary-severity.md",
          "ref": "chapter:/ontology/schema#the-vocabulary-severity"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-resolutions",
          "json": "https://banes-lab.com/json/ontology/schema/the-resolutions",
          "label": "The resolutions",
          "markdown": "https://banes-lab.com/ontology/schema/the-resolutions.md",
          "ref": "chapter:/ontology/schema#the-resolutions"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "A conceptual representation of the choice a distributed store makes during a network partition, between consistency and availability.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-pacelc-theorem",
      "json": "https://banes-lab.com/json/records/architecture/pacelc-theorem",
      "label": "PACELC Theorem",
      "markdown": "https://banes-lab.com/records/architecture/pacelc-theorem.md",
      "ref": "architecture:pacelc-theorem"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-total-order-broadcast",
      "json": "https://banes-lab.com/json/records/architecture/total-order-broadcast",
      "label": "Total-Order Broadcast",
      "markdown": "https://banes-lab.com/records/architecture/total-order-broadcast.md",
      "ref": "architecture:total-order-broadcast"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/architecture",
    "label": "Architecture principles",
    "markdown": "https://banes-lab.com/api/records/architecture.md",
    "ref": "api:records/architecture"
  },
  "aliases": [],
  "exemplar": {
    "after": "const policy = partitionPolicyFor(foo.class);\nreturn policy === \"CP\"\n  ? writeWithQuorum(foo)\n  : writeAvailableAndReconcile(foo);",
    "before": "await Promise.all(replicas.map(r => r.write(foo)));\nreturn \"always consistent and available\";",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "distributed state",
    "consistency",
    "availability"
  ],
  "severity": "contextual"
}