Login / Signup

Consistency Checking between Data and Process Diagrams Based on Formal Methods.

Syouri KounoHan-Myung ChangKeijiro Araki
Published in: COMPSAC (1996)
Keyphrases
  • np hard
  • np complete
  • data sets
  • data analysis
  • database
  • data sources
  • formal methods
  • consistency checking
  • databases
  • artificial intelligence
  • data quality
  • data mining
  • machine learning
  • knowledge based systems