Login / Signup

Atomistic Galois insertions for flow sensitive integrity.

Flemming NielsonHanne Riis Nielson
Published in: Comput. Lang. Syst. Struct. (2017)
Keyphrases
  • formal concept analysis
  • flow patterns
  • formal concepts
  • real world
  • multiscale
  • integrity checking
  • galois lattices
  • database
  • artificial intelligence
  • data model
  • case based reasoning
  • flow field
  • information flow