by recognizable relations is decidable.

Christian Choffrut Serge Grigorieff

Published in: Inf. Process. Lett. (2006)

Keyphrases

semantic relations
picture languages
databases
information retrieval
temporal relations
real time
artificial intelligence
data management
spatial relations
finite automata
relational data model