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

cited authors

  • Guo, S; Sun, W; Weiss, MA

authors

publication date

  • June 1, 1996

published in

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)

start page

  • 270

end page

  • 293

volume

  • 21

issue

  • 2