Specifying State Transition Constraints
In Chapter 6 you were introduced to tuple, table, and database predicates. These predicates deal with data in an increasing scope order: attribute values within a single tuple, tuples within a single table, and tables within a single database state.
KeywordsState Transition Database State Database Design Table Structure Table Design
Unable to display preview. Download preview PDF.