Title :
Processing Implication on Queries
Author :
Sun, Xian-He ; Kamel, Nabil N. ; Ni, Lionel M.
Author_Institution :
Departmcnt of Computer Science. Michigan State University. East Lansing. Ml
Keywords :
Database; Derivability Problem; Directed Graph; Implication Problem; Mathematical Logic; NP-hard; project-select-joint queries; satisfiability; Costs; Database systems; Distributed databases; Polynomials; Protocols; Query processing; Relational databases; Senior members; Sun;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1989.559764
