Using Datalog with Binary Decision Diagrams for Program Analysis.
John WhaleyDzintars AvotsMichael CarbinMonica S. LamPublished in: APLAS (2005)
Keyphrases
- database applications
- binary decision diagrams
- expressive power
- deductive databases
- query answering
- boolean functions
- datalog programs
- symbolic model checking
- query language
- database systems
- logic programming
- planning problems
- integrity constraints
- variable ordering
- model checking
- functional dependencies
- domain independent
- knowledge compilation
- data management
- domain specific