Comparing and Synthesizing Integrity Checking Methods for Deductive Databases.
Matilde Celma, Carlos Garca, Laura Mota-Herranz, Hendrik Decker
Browse the full ICDE paper archive.
Matilde Celma, Carlos Garca, Laura Mota-Herranz, Hendrik Decker
Browse the full ICDE paper archive.