On Satisfiability, Equivalence, and Impication Problems Involving Conjunctive Queries in Database Systems

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.