Mapping kernel objects to enable systematic integrity checking.

Martim Carbone Weidong Cui Long Lu Wenke Lee Marcus Peinado Xuxian Jiang

Published in: CCS (2009)

Keyphrases

integrity checking
integrity constraints
d objects
deductive databases
hard and soft constraints
semantic query optimization
high level
kernel function
databases
support vector
feature space
lower bound
expert systems
data model
kernel methods