Sha Guo, Wei Sun, Mark Allen Weiss. On Satisfiability, Equivalence, and Impication Problems Involving Conjunctive Queries in Database Systems. IEEE Trans. Knowl. Data Eng., 8(4):604-616, 1996. [doi]
@article{GuoSW96,
title = {On Satisfiability, Equivalence, and Impication Problems Involving Conjunctive Queries in Database Systems},
author = {Sha Guo and Wei Sun and Mark Allen Weiss},
year = {1996},
tags = {database},
researchr = {https://researchr.org/publication/GuoSW96},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Knowl. Data Eng.},
volume = {8},
number = {4},
pages = {604-616},
}