The Equivalence of DGSM Replications on Q-Rational Languages is Decidable.

Paavo Turakainen

Published in: ICALP (1988)

Keyphrases

datalog programs
expressive power
first order logic
query containment
databases
transitive closure
regular path queries
decision making
language independent
text summarization
query answering
cross lingual
function free horn