Global Constraint Catalog

  • Home
  • Title
  • Preface
  • Bibliography
  • Index
  • Content
  • 1. Getting started
  • 2. Describing Global Constraints
  • 3. Description of the Catalogue
  • 4. Further Topics
  • 5. Global Constraint Catalogue
  • 6. Legend for the Description

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
<< 4.4. Functional dependency invariants

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

W3C: XHTML - last update: 2014-6-10. SD.