Datalog Disassembly.

Antonio Flores-Montoya Eric M. Schulte

Published in: CoRR (2019)

Keyphrases

expressive power
deductive databases
query answering
reverse engineering
datalog programs
integrity constraints

query language
logic programming
transitive closure
relational algebra
database languages

relational calculus
ontology based data access
data complexity
relational query languages
dl programs

conjunctive queries
data integration
containment of conjunctive queries
relational databases
high level