Solving satisfiability and implication problems in database systems Article

Guo, S, Sun, W, Weiss, MA. (1996). Solving satisfiability and implication problems in database systems . ACM TRANSACTIONS ON DATABASE SYSTEMS, 21(2), 270-293. 10.1145/232616.232692

Open Access

keywords

  • Computer Science
  • Computer Science, Information Systems
  • Computer Science, Software Engineering
  • SEMANTIC QUERY OPTIMIZATION
  • Science & Technology
  • Technology
  • deduction
  • equivalence
  • implication
  • reasoning
  • satisfiabilty

Digital Object Identifier (DOI)

publisher

  • ASSOC COMPUTING MACHINERY

start page

  • 270

end page

  • 293

volume

  • 21

issue

  • 2