A rich class of double ologs with dependent products and tabulators interprets first-order modal logic and description logic, and categorically expresses relational division and pushdown query optimizations.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CT 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Quantification in Double-Categorical Database Schemas
A rich class of double ologs with dependent products and tabulators interprets first-order modal logic and description logic, and categorically expresses relational division and pushdown query optimizations.