Normal forms for Answer Sets Programming
Stefania CostantiniAlessandro ProvettiPublished in: CoRR (2004)
Keyphrases
- normal form
- answer sets
- logic programs
- answer set programming
- logic programming
- relational algebra
- nested relations
- functional dependencies
- database design
- programming language
- relational databases
- normal logic programs
- answer set programs
- prime implicates
- data dependencies
- fixpoint
- logic program updates
- stable models
- loop formulas
- null values
- database schema
- knowledge compilation
- database
- orders of magnitude
- data model
- query processing
- high level
- case study
- knowledge base
- databases