The Community for Technology Leaders
Green Image
Issue No. 10 - October (1989 vol. 15)
ISSN: 0098-5589
pp: 1168-1175
INDEX TERMS
Database; Derivability Problem; Directed Graph; Implication Problem; Mathematical Logic; NP-hard; project-select-joint queries; satisfiabilitya
CITATION
L.M. Ni, Xian-he Sun, N.N. Kamel, "Processing Implication on Queries", IEEE Transactions on Software Engineering, vol. 15, no. , pp. 1168-1175, October 1989, doi:10.1109/TSE.1989.559764
155 ms
(Ver )