Algebraic graphs

Algebraic graph (schemas)

• Algebraic Property Graphs
  • Multi-Model Query Compilation Using Bi-Algebra Comprehensions
• Algebraic graphs
• The Typed Graph Model – a Supermodel for Model Management and Data Integration
  • Information Integration using the Typed Graph Model
• FLASc: a formal algebra for labeled property graph schema
• Typing Graph-Manipulation Operations
• A Visual Query Language for Property Graphs

Categorical databases

• CQL (Categorical Query Language), aka FQL (Functorial Query Language), aka AQL (Algebraic Query Language)
• Categorical Data Integration for Computational Science
• Seven Sketches in Compositionality: An Invitation to Applied Category Theory
• Category theory is a universal modeling language
• Relational Foundations For Functorial Data Migration
• Algebraic Model Management: A Survey
• Model Theory (Draft 20 Jul 00)
• From Graphs to Categories And Algebraic Property Graphs Too
• Functorial aggregation
• Categorical Data Integration for Computational Science
• Hydra: high-level design

Combinatorial Species

See combinatorial species introduction.

• Combinatorial Species and Labelled Structures
• Combinatorial Species and Graph Enumeration
• Species and Functors and Types, Oh My!
• Labelled structures and combinatorial species
• Species: making analytic functors practical for functional programming
• On the arithmetic product of combinatorial species
• A COMBINATORIAL THEORY OF FORMAL SERIES
• A course on combinatorial species