String diagrams are powerful graphical methods for reasoning in elementary category
theory. Written in an informal expository style, this book provides a self-contained …

This paper introduces semi-ring dictionaries, a powerful class of compositional and purely
functional collections that subsume other collection types such as sets, multisets, arrays …

Datalog may be considered either an unusually powerful query language or a carefully
limited logic programming language. Datalog is declarative, expressive, and optimizable …

Signal flow graphs are combinatorial models for linear dynamical systems, playing a
foundational role in control theory and engineering. In this survey, we overview a series of …

Fuzzy‐directed graphs are often chosen as the data structure to model and implement
solutions to several problems in the applied sciences. Galois connections have also shown …

Language-integrated query based on comprehension syntax is a powerful technique for
safe database programming, and provides a basis for advanced techniques such as query …

Derived datasets can be defined implicitly or explicitly. An implicit definition (of dataset O in
terms of datasets I) is a logical specification involving the source data I and the interface data …

We present module theory and linear maps as a powerful generalised and computationally
efficient framework for the relational data model, which underpins today's relational …

To optimize query parallelism techniques, substantial workloads are required with specific
query plans and customized output size for each operator (denoted as cardinality …

This article introduces semi-ring dictionaries, a powerful class of compositional and purely
functional collections that subsume other collection types such as sets, multisets, arrays …