Dependency Pairs for Rewriting with Non-free Constructors.

Stephan Falke Deepak Kapur

Published in: CADE (2007)

Keyphrases

description logics
dependency relations
rewriting rules
pairwise
search engine
data structure
information systems
database systems
case study
search algorithm
knowledge base
relational databases
co occurrence
query rewriting
rewrite rules
computer vision
database