An algorithmic basis for integrating production systems and large databases | IEEE Conference Publication | IEEE Xplore