Login / Signup
Efficient Decision Procedures for Query Containment and Related Problems.
Tanara Lauschner
Marco A. Casanova
Vânia Maria Ponte Vidal
José Antônio Fernandes de Macêdo
Published in:
SBBD (2009)
Keyphrases
</>
decision procedures
related problems
query containment
theorem proving
modal logic
containment of conjunctive queries
conjunctive queries
automated reasoning
data mining
query answering
regular path queries
unions of conjunctive queries
transitive closure