A Counterexample-Guided Debugger for Non-recursive Datalog.
Van-Dang TranHiroyuki KatoZhenjiang HuPublished in: APLAS (2020)
Keyphrases
- expressive power
- deductive databases
- query answering
- model checking
- datalog programs
- query language
- logic programming
- neural network
- formal verification
- transitive closure
- integrity constraints
- programming language
- machine learning
- databases
- datalog queries
- existentially quantified
- data integration
- real time
- np complete
- learning algorithm
- data sets