Decidable and Undecidable Fragments of First-Order Concatenation Theory.

Lars Kristiansen Juvenal Murwanashyaka

Published in: CiE (2018)

Keyphrases

transitive closure
guarded fragment
unions of conjunctive queries
first order logic
expressive power
query containment
theoretical framework
higher order
neural network
horn clauses
general theory
sufficient conditions
data exchange
query answering
regular expressions