Warded Datalog+/- Reasoning in Financial Settings with Harmful Joins.
Teodoro BaldazziPaolo AtzeniPublished in: EDBT/ICDT Workshops (2022)
Keyphrases
- expressive power
- query answering
- reasoning systems
- reasoning tasks
- knowledge base
- automated reasoning
- deductive databases
- reasoning process
- sql queries
- financial services
- transitive closure
- integrity constraints
- logic programming
- knowledge representation
- query language
- stock market
- join algorithms
- first order logic
- query optimization
- knowledge representation and reasoning
- datalog programs
- financial data