Verification of Partitioning and Allocation Techniques on Teradata DBMS.
Ladjel BellatrecheSoumia BenkridAhmad GhazalAlain CrolotteAlfredo CuzzocreaPublished in: ICA3PP (1) (2011)
Keyphrases
- database management systems
- database engine
- query optimizer
- optimal allocation
- database systems
- data management
- database
- model checking
- relational dbms
- data types
- databases
- query optimization
- data model
- query processing
- resource allocation
- formal methods
- partitioning algorithm
- formal verification
- allocation problems
- signature verification
- face verification
- efficient implementation
- fingerprint verification
- allocation scheme
- data base management systems
- main memory