Completeness Results for Recursive Data Bases.

Tirza Hirst David Harel

Published in: PODS (1993)

Keyphrases

databases
computer vision
iterative refinement
data quality
reduced order
image processing
natural language
computational complexity
digital libraries
mobile robot
knowledge discovery
recursive algorithm
formal proofs