Unbounded data model verification using SMT solvers.
Jaideep NijjarTevfik BultanPublished in: ASE (2012)
Keyphrases
- data model
- modulo theories
- database systems
- database management systems
- databases
- data integration
- query language
- object oriented
- data sources
- statistical machine translation
- model checking
- semistructured data
- xml documents
- satisfiability modulo theories
- schema evolution
- database
- object model
- semi structured
- entity relationship
- asynchronous circuits
- conceptual model
- answer set programming
- neural network
- formal verification
- xml data
- fingerprint verification
- natural language
- data warehouse