Integrity Checking and Abnormality Detection of Provenance Records.

Sheung Chi Chan Ashish Gehani Hassaan Irshad James Cheney

Published in: TaPP (2020)

Keyphrases

abnormality detection
integrity checking
integrity constraints
deductive databases
heart motion
hard and soft constraints
constraint logic programming
databases
metadata
database
key features
query answering
left ventricular