Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures.

Published in: Theor. Comput. Sci. (2002)

Keyphrases

quantifier elimination
first order logic
higher order
depth map
deductive databases
constraint propagation
grid computing
depth information
datalog programs
datalog queries
digital pictures
knowledge base
three dimensional
integrity constraints