{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-pacelc-theorem",
  "id": "pacelc-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": "PACELC Theorem",
  "ref": "architecture:pacelc-theorem",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-cap-theorem",
          "json": "https://banes-lab.com/json/records/architecture/cap-theorem",
          "label": "CAP Theorem",
          "markdown": "https://banes-lab.com/records/architecture/cap-theorem.md",
          "ref": "architecture:cap-theorem"
        }
      ],
      "relation": "requires"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-cap-theorem",
          "json": "https://banes-lab.com/json/records/architecture/cap-theorem",
          "label": "CAP Theorem",
          "markdown": "https://banes-lab.com/records/architecture/cap-theorem.md",
          "ref": "architecture:cap-theorem"
        },
        {
          "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": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-latency-consistency-trade-off-when-healthy",
          "json": "https://banes-lab.com/json/records/lexicon/latency-consistency-trade-off-when-healthy",
          "label": "Latency-Consistency Trade-off When Healthy",
          "markdown": "https://banes-lab.com/records/lexicon/latency-consistency-trade-off-when-healthy.md",
          "ref": "lexicon:latency-consistency-trade-off-when-healthy"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-consistency-assumed-free-when-healthy",
          "json": "https://banes-lab.com/json/records/lexicon/consistency-assumed-free-when-healthy",
          "label": "Consistency Assumed Free When Healthy",
          "markdown": "https://banes-lab.com/records/lexicon/consistency-assumed-free-when-healthy.md",
          "ref": "lexicon:consistency-assumed-free-when-healthy"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-throughput",
          "json": "https://banes-lab.com/json/records/architecture/throughput",
          "label": "Throughput",
          "markdown": "https://banes-lab.com/records/architecture/throughput.md",
          "ref": "architecture:throughput"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-pacelc-theorem-throughput",
          "json": "https://banes-lab.com/json/records/tension/pacelc-theorem-throughput",
          "label": "PACELC Theorem / Throughput",
          "markdown": "https://banes-lab.com/records/tension/pacelc-theorem-throughput.md",
          "ref": "tension:pacelc-theorem-throughput"
        }
      ],
      "relation": "tensions"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-consistency-assumed-free-when-healthy",
          "json": "https://banes-lab.com/json/records/lexicon/consistency-assumed-free-when-healthy",
          "label": "Consistency Assumed Free When Healthy",
          "markdown": "https://banes-lab.com/records/lexicon/consistency-assumed-free-when-healthy.md",
          "ref": "lexicon:consistency-assumed-free-when-healthy"
        }
      ],
      "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-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-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 that extends the CAP theorem with the trade-off a healthy network still forces, between latency and consistency.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-design-by-contract",
      "json": "https://banes-lab.com/json/records/architecture/design-by-contract",
      "label": "Design by Contract",
      "markdown": "https://banes-lab.com/records/architecture/design-by-contract.md",
      "ref": "architecture:design-by-contract"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-cap-theorem",
      "json": "https://banes-lab.com/json/records/architecture/cap-theorem",
      "label": "CAP Theorem",
      "markdown": "https://banes-lab.com/records/architecture/cap-theorem.md",
      "ref": "architecture:cap-theorem"
    }
  },
  "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 foo = tolerateStaleness(id.class)\n  ? await readLocalReplica(id)\n  : await readStronglyAcrossRegions(id);",
    "before": "const foo = await readFromAllRegionsStrongly(id);",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "distributed state",
    "consistency",
    "latency"
  ],
  "severity": "contextual"
}