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

Paavo Turakainen

Published in: Math. Syst. Theory (1987)

Keyphrases

datalog programs
expressive power
query containment
database languages
databases
first order logic
text summarization
black box
language independent
transitive closure
language identification
decision making
end to end
deductive databases
regular path queries
mobile communications