Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation.
Alvaro del ValPublished in: KR (1994)
Keyphrases
- databases
- prime implicates
- knowledge compilation
- database
- propositional variables
- database systems
- relational databases
- propositional logic
- belief change
- data integration
- low resolution
- data sources
- data model
- computational complexity
- computational problems
- model counting
- consequence finding
- database applications
- knowledge discovery
- np hard
- theorem proving
- first order logic
- high resolution
- linearly ordered
- information systems
- data sets