Refining Object-Oriented Invariants and Dynamic Constraints.
Jamie ShieldIan J. HayesPublished in: APSEC (2002)
Keyphrases
- dynamic constraints
- object oriented
- functional dependencies
- object oriented databases
- active rules
- relational databases
- database design
- relational model
- data model
- temporal logic
- database applications
- programming language
- database schema
- software engineering
- database technology
- reverse engineering
- conceptual model
- data warehouse
- data modeling
- temporal dimension
- spatio temporal