On satisfiability, equivalence, and implication problems involving conjunctive queries in database systems Article

Guo, S, Sun, W, Weiss, MA. (1996). On satisfiability, equivalence, and implication problems involving conjunctive queries in database systems . IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 8(4), 604-616. 10.1109/69.536253

keywords

  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Information Systems
  • Engineering
  • Engineering, Electrical & Electronic
  • NP-hard
  • Science & Technology
  • Technology
  • conjunctive queries
  • database
  • derivability problem
  • implication problem
  • satisfiability

Digital Object Identifier (DOI)

publisher

  • IEEE COMPUTER SOC

start page

  • 604

end page

  • 616

volume

  • 8

issue

  • 4