Login / Signup
Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic.
Yolifé Arvelo
Blai Bonet
Maria-Esther Vidal
Published in:
AAAI (2006)
Keyphrases
</>
propositional logic
query rewriting
first order logic
query optimization
belief revision
propositional satisfiability
satisfiability testing
databases
data mining
special case
np hard
multi dimensional
database management systems
conjunctive queries
propositional formulas