Keyphrases
- databases
- database
- horn clauses
- containment of conjunctive queries
- logic programs
- closed world assumptions
- np hard
- knowledge discovery
- database systems
- data integration
- information retrieval
- database queries
- database applications
- artificial intelligence
- data sources
- relational databases
- logic programming
- partial order
- deductive databases
- propositional logic
- data model
- predicate logic
- neural network