Login / Signup
Consistency Checking between Data and Process Diagrams Based on Formal Methods.
Syouri Kouno
Han-Myung Chang
Keijiro 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