Behavioral and Coinductive Rewriting.

Joseph A. Goguen Kai Lin Grigore Rosu

Published in: WRLA (2000)

Keyphrases

rewrite rules
query rewriting
queries using views
conjunctive queries
rewriting rules
behavioral model
data structure
integrity constraints
human behavior
query answering
rewriting systems
real time
query optimization
evolutionary algorithm
search algorithm
similarity measure
case study
neural network