Datalog Disassembly.
Antonio Flores-MontoyaEric M. SchultePublished in: USENIX Security Symposium (2020)
Keyphrases
- expressive power
- deductive databases
- query answering
- query language
- datalog programs
- reverse engineering
- logic programming
- transitive closure
- database languages
- data complexity
- ontology based data access
- existentially quantified
- relational calculus
- integrity constraints
- machine learning
- database systems
- inductive logic programming
- first order logic
- software engineering
- dl programs
- predicate invention
- information systems
- database