In the field of computer science, an ordered binary decision diagram (BDD) is a data structure that represents a Boolean function. It is a compressed representation of sets or relations. Unlike other compressed representations, operations are performed directly on the compressed representation, i.e. without decompression.