MetaDL: analysing Datalog in Datalog.
Alexandru DuraHampus BalldinChristoph ReichenbachPublished in: SOAP@PLDI (2019)
Keyphrases
- expressive power
- deductive databases
- query answering
- datalog programs
- query language
- ontology based data access
- logic programming
- integrity constraints
- transitive closure
- database languages
- data exchange
- existentially quantified
- datalog queries
- relational query languages
- bayesian networks
- relational calculus
- data complexity
- logic programs
- programming language
- multi agent