Keyphrases
- data dependencies
- logic programs
- logic programming
- relational databases
- fixpoint
- functional dependencies
- normal form
- answer sets
- answer set programming
- stable models
- multi valued
- prolog programs
- update operations
- computational properties
- normal logic programs
- inductive logic programming
- database schema
- term rewriting systems
- strong equivalence
- semantics for logic programs
- database
- incomplete data
- stable model semantics
- null values
- data exchange
- knowledge representation
- databases