An Architecture for On-the-Fly File Integrity Checking.

Mauro Borchardt Carlos Maziero Edgard Jamhour

Published in: LADC (2003)

Keyphrases

integrity checking
integrity constraints
deductive databases
hard and soft constraints
semantic query optimization
file system
database
constraint logic programming
artificial intelligence
relational databases
constraint programming
file formats