Static Inference of Modes and Data Dependencies in Logic Programs.
Saumya K. DebrayPublished in: ACM Trans. Program. Lang. Syst. (1989)
Keyphrases
- logic programs
- data dependencies
- logic programming
- abductive reasoning
- answer sets
- relational databases
- fixpoint
- answer set programming
- normal form
- normal logic programs
- stable models
- computational properties
- functional dependencies
- partial deduction
- stable model semantics
- update operations
- multi valued
- strong equivalence
- bayesian networks
- database schema
- inductive logic programming
- loop formulas
- deductive databases
- software engineering