Based on the observation that graphs play an important role in the representation of databases, an algebra is presented for the manipulation of binary relations, i.e., of directed unlabeled graphs. This so-called Tarski algebra is based on early work by Tarski. The key notion that has been added to it here is tagging , which is needed for providing both enough modeling power and enough querying...