Dichotomy for Axiomatising Inclusion Dependencies on K-Databases

Miika Hannula, Teymur Ismikhanov, Jonni Virtema

A relation consisting of tuples annotated by an element of a monoid K is called a K-relation. A K-database is a collection of K-relations. In this paper, we study entailment of inc…