relational.cppm

Go to the documentation of this file.

export module dedekind.relational;
 
export import :dyadic;  // Tarski BASE: converse °, relative product >>, Δ, & (∪
                        // = set-grammar |)
export import :tables;  // Codd: σ ⋈ ∪ ∖ ∩ (dedekind::relational namespace)
export import :rows;    // relations of any arity, their schema as data (#1037)
export import :graph;   // graphs of arrows (binary relations): graph(f),
                        // is_graph_of