Metraipolis › archive › dc_fcae8df3cd12

Quantification in Double-Categorical Database Schemas — arXiv:2608.00913

Source: arXiv (en)
Original: https://arxiv.org/abs/2608.00913
License (as archived): CC0-1.0
Archived: 2026-10-18T07:00:34.053Z
SHA-256 of the archived text: e0601c5b73393092f13577995b2c49a46ffc8971883caf6b9f943515605d2152
Stable URL of this page: https://metraipolis.com/documento/dc_fcae8df3cd12

How to cite

Quantification in Double-Categorical Database Schemas — arXiv:2608.00913 — arXiv (en), https://arxiv.org/abs/2608.00913 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_fcae8df3cd12 (Metraipolis archive dc_fcae8df3cd12, sha256 e0601c5b73393092f13577995b2c49a46ffc8971883caf6b9f943515605d2152)

BibTeX

@misc{dcfcae8df3cd12,
  title = {Quantification in Double-Categorical Database Schemas — arXiv:2608.00913},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2608.00913},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_fcae8df3cd12; sha256 e0601c5b73393092f13577995b2c49a46ffc8971883caf6b9f943515605d2152},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2608.00913. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Double-categorical database schemas are enriched with universal quantification in the form of right adjoints to substitution. This allows phrasing of the important query, relational division. It is shown that such right adjoints together with suitable tabulators interpret modal operators, provide cartesian closed structure, and, when combined with global cocartesian structure, interpret first-order predicate logic and thus description logic. These structures are applied throughout to querying and optimization. It is seen, for example, that Frobenius reciprocity and Beck-Chevalley hold in any suitably structured double database schema and that these provide pushdown optimization rules. Such optimization rules are thus provably error-free as a property of the schema. Likewise, negation queries are derived from cocartesian and local implication structure.

Tema degli esploratori: statistica e scienza dei dati (retro-catalogo arXiv: annunci del 2026-08-26 in cs.DB).
Categorie arXiv: Category Theory (math.CT) ; Databases (cs.DB); Logic in Computer Science (cs.LO).
Pagina del lavoro: https://arxiv.org/abs/2608.00913 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-18T06:57:47.318Z dalla pagina https://arxiv.org/catchup/cs.DB/2026-08-26?abs=True (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).