The constraint database framework: lessons learned from CQA/CDB | IEEE Conference Publication | IEEE Xplore