Discovering implicit integrity constraints in rule bases using metagraphs | IEEE Conference Publication | IEEE Xplore