Login / Signup
Adherence Equivalence Is Decidable for DOL Languages.
Tom Head
Published in:
STACS (1984)
Keyphrases
</>
datalog programs
query containment
expressive power
databases
language independent
transitive closure
database
first order logic
regular path queries
conjunctive queries
deductive databases
target language
query answering
equivalence relation
relational databases
multi lingual
syntactic and semantic dependencies