Specifying State Transition Constraints

Abstract

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.

Keywords

Verse 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Lex de Haan and Toon Koppelaars 2007

Personalised recommendations