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.
Unable to display preview. Download preview PDF.