Keyphrases
- np complete
- randomly generated
- satisfiability problem
- np hard
- theoretical basis
- machine learning
- database systems
- constraint satisfaction problems
- theoretical framework
- formal theory
- general theory
- theoretical foundation
- conjunctive queries
- constraint satisfaction
- relational databases
- case study
- artificial intelligence