Watchdog Processors and Structural Integrity Checking.

Published in: IEEE Trans. Computers (1982)

Keyphrases

integrity checking
integrity constraints
deductive databases
hard and soft constraints
semantic query optimization
parallel algorithm
constraint logic programming
parallel processing
structural information
high level