On the Power of Stratified Logic Programs with Value Invention for Expressing Database Transformations.
Luca CabibboPublished in: ICDT (1995)
Keyphrases
- logic programs
- database
- logic programming
- answer sets
- answer set programming
- fixpoint
- partial deduction
- background knowledge
- stable models
- inductive logic programming
- databases
- computational properties
- database systems
- normal logic programs
- stable model semantics
- term rewriting systems
- prolog programs
- data management
- data model
- relational databases
- existentially quantified
- normal form
- query language
- functional programs
- recursive programs