Login / Signup

Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures.

Rudolf BerghammerSebastian Fischer
Published in: J. Log. Algebraic Methods Program. (2015)
Keyphrases
  • database
  • data structure
  • artificial intelligence
  • general purpose
  • data points
  • data distribution
  • object oriented databases