conftrace_

tuple-generating dependency

2 papers

Explore in graph

Also known as

TGD

Co-occurring keywords · papers mentioning both

ontology query (1) ontology language (1) tuple-generating dependencies (1) existential rule language (1) program expressive power (1) model-theoretic properties (1) chase termination (1) database theory (1) existential rule (1) automata theory (1)

Papers

Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022 All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs IJCAI 2020