Partial Deduction of the Ground Representation and its Application to Integrity Checking.

Michael Leuschel Bern Martens

Published in: ILPS (1995)

Keyphrases

integrity checking
integrity constraints
partial deduction
deductive databases
hard and soft constraints
artificial intelligence
logic programs
database systems
special case
temporal information
constraint logic programming