Calculus Template

From QUAIL

Contents 1 Description of the Calculus 2 Example 3 Base Relations 4 Converse Table 5 Composition Table 6 Fact Sheet 7 Calculus description in files (optional) 8 Miscellaneous 9 References

Description of the Calculus

General description of the calculus.

Example

An example of how the calculus work.

Base Relations

The base relations of the calculus.

Converse Table

The table of converses of the calculus.

Composition Table

The composition table of the calculus.

Fact Sheet

• Name:
• Arity of base relations:
• Number of base relations:
• Arity of composition:
• Domain(s):
• Permutations of base relations are base relations:
• Composition table has been verified with a theorem prover:
• Calculus is:
  • Relation Algebra:
  • semi associative Algebra:
  • weakly associative Algebra:
  • Non-associative Algebra:
• Complexity of determining consistency for:
  • Arbitrary networks:
  • Atomic networks:
• Algebraic closure decides consistency in atomic networks:
• Strong composition / Extensional:
• Tractable subsets:

Calculus description in files (optional)

e.g. GQR or SparQ format.

Miscellaneous

Other things you want to add.

References

• Paper 1
• Paper 2
• Paper 3