Future Extensions/Open Issues

• Skolem functions

  • Integration, Fusion
  • Algebra simplification (grouping)

• Bind variable unification (given a set of bindings for bind variables, produce all possible bindings for free variables)

  • general relationships

• bulk update and insert operations

• what defines persistence?

• What is/are the syntax(es)?

Previous slide

Next slide

Back to first slide

View graphic version