On the Relationship between Shy and Warded Datalog+/-.
Teodoro BaldazziLuigi BellomariniMarco FavoritoEmanuel SallingerPublished in: KR (2022)
Keyphrases
- expressive power
- deductive databases
- query answering
- datalog programs
- logic programming
- query language
- integrity constraints
- data complexity
- datalog queries
- ontology based data access
- transitive closure
- first order logic
- logic programs
- database languages
- data model
- fixpoint semantics
- existentially quantified
- database