Combining Horn Clause Logic with Rewrite Rules.

Peter Baumgartner

Published in: AIMSA (1990)

Keyphrases

rewrite rules
rewriting rules
transformation rules
horn clause logic
sql queries
query optimization
complex queries
databases
artificial intelligence
cost model
consistency constraints
database
natural language
prior knowledge
database management systems
execution plan