Existential Rule Languages with Finite Chase: Complexity and Expressiveness.

Heng Zhang Yan Zhang Jia-Huai You

Published in: CoRR (2014)

Keyphrases

expressive power
query answering
first order logic
language independent
decision problems
worst case
object oriented
query language
database
computational complexity
database systems
data exchange
decision trees
conjunctive queries
cross lingual
finite number
databases