4. Further Topics

• 4.1. Differences from the 2000 report
• 4.2. Differences from the 2005 report
• 4.3. Graph invariants
  • 4.3.1. Graph classes
  • 4.3.2. Format of an invariant
  • 4.3.3. Using the database of invariants
  • 4.3.4. The database of graph invariants
    • 4.3.4.1. one parameter/one final graph
    • 4.3.4.2. two parameters/one final graph
    • 4.3.4.3. three parameters/one final graph
    • 4.3.4.4. four parameters/one final graph
    • 4.3.4.5. five parameters/one final graph
    • 4.3.4.6. two parameters/two final graphs
    • 4.3.4.7. three parameters/two final graphs
    • 4.3.4.8. four parameters/two final graphs
    • 4.3.4.9. five parameters/two final graphs
    • 4.3.4.10. six parameters/two final graphs
• 4.4. Functional dependency invariants
  • 4.4.1. Functional dependency invariants involving two constraints
  • 4.4.2. Functional dependency invariants involving three constraints
  • 4.4.3. Functional dependency invariants involving four constraints
• 4.5. The electronic version of the catalogue
  • 4.5.1. Prolog facts describing a constraint
  • 4.5.2. XML schema associated with a global constraint
    • 4.5.2.1. Related work
    • 4.5.2.2. Key features
    • 4.5.2.3. Structure of schema
    • 4.5.2.4. Generating schema from the catalogue
    • 4.5.2.5. Conclusion