An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types.
Clark W. BarrettIgor ShikanianCesare TinelliPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- data types
- abstract data types
- data model
- database management systems
- data structure
- database systems
- user defined
- data mining algorithms
- back end
- data manipulation language
- satisfiability problem
- database applications
- database objects
- propositional theories
- recursive queries
- primitive operations
- database
- database design
- np complete
- feature extraction
- data mining