Abstract Dynamic Data Types: A Temporal Logic Approach.
Gerardo CostaGianna ReggioPublished in: MFCS (1991)
Keyphrases
- data types
- temporal logic
- abstract data types
- model checking
- data model
- data structure
- user defined
- database systems
- database management systems
- dynamic constraints
- modal logic
- concurrent systems
- complex data types
- transition systems
- verification method
- data mining algorithms
- temporal knowledge
- data formats
- computation tree logic
- database
- mazurkiewicz traces
- object oriented databases