Keeping Track of Data Dependencies for Incremental Execution in Logic Programming.

Philippe Chatalic

Published in: LPE (1990)

Keyphrases

logic programming
data dependencies
logic programs
answer set programming
relational databases
deductive databases
normal form

functional dependencies
programming language
nonmonotonic reasoning
logic programming language
multi valued
answer sets
computational logic

knowledge representation
knowledge base
database schema
incomplete data
reasoning about actions
inductive logic programming

databases
default logic
stable models
background knowledge
constraint logic programming
null values