Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract).
Matthias LanzingerPrzemyslaw Andrzej WalegaPublished in: Datalog (2022)
Keyphrases
- extended abstract
- ontology based data access
- query answering
- existentially quantified
- data exchange
- first order logic
- expressive power
- query rewriting
- conjunctive queries
- datalog programs
- data complexity
- deductive databases
- incomplete information
- logic programs
- integrity constraints
- data integration
- dl lite
- universally quantified
- databases
- containment of conjunctive queries
- natural language
- background knowledge
- transitive closure
- data management
- tuple generating dependencies
- database systems