Combining Horn Clause logic with rewrite rules

Peter Baumgartner

Published in: Forschungsberichte, TU Munich (1990)

Keyphrases

rewrite rules
rewriting rules
horn clause logic
transformation rules
consistency constraints
sql queries
keywords
query optimization
complex queries
machine learning
relational databases
data integration
representation language