Sign in
Modeling Database Updates with Constraint Logic Programming.
Elisa Bertino
Maurizio Martelli
Danilo Montesi
Published in:
Workshop on Deductive Databases, JICSLP (1992)
Keyphrases
</>
constraint logic programming
database updates
constraint solving
logic programming
constraint programming
answer set programming
constraint propagation
logic programming language
database
constraint satisfaction
proof theoretic
knowledge representation
software engineering
spatial information
temporal reasoning