Specification and verification of database dynamics

Keyphrases

• Conceptual Model 100%
• Database Operation 100%
• First-order 50%
• Input-output 50%
• Behavioral Patterns 50%
• Dynamic Aspect 50%
• Traditional Data 50%
• Data Integrity 50%
• Integrity Constraints 50%
• Atomic Databases 50%
• Primitive-based 50%
• Communication Action 50%
• Database Transactions 50%
• Non-atomic 50%
• Liveness 50%
• Reaction Pattern 50%
• Semantic Primitives 50%
• Conceptual Modeling Approach 50%
• Structured Specification 50%

Computer Science

• Conceptual Model 100%
• Input/Output 50%
• Conceptual Modeling 50%
• Integrity Constraint 50%
• Transaction Database 50%
• Reaction Pattern 50%
• Data Integrity 50%
• Liveness 50%