A deductive database for partially-ordered magmas