July 2010
Intermediate to advanced
976 pages
30h 19m
English
| 4.1 | Introduction to CSDP Step 4
|
| 4.2 | Constraining Unaries and Binaries
|
| 4.3 | Constraining Longer Fact Types
|
| 4.4 | External Uniqueness Constraints
|
| 4.5 | Arity Checks
|
| 4.6 | Projections and Joins
|
| 4.7 | Summary |