The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification.
Michael LvovVladimir S. PeschanenkoOleksandr A. LetychevskyiYulia TarasichPublished in: ICTERI (2017)
Keyphrases
- data types
- application programs
- data structure
- data model
- user defined
- database management systems
- database systems
- model checking
- abstract data types
- data manipulation language
- complex data types
- primitive operations
- data mining algorithms
- database server
- back end
- microsoft sql server
- database objects
- pl sql
- type checking
- spatiotemporal data
- data sets
- knowledge discovery
- information retrieval