Normal Form Theorem for Logic Programs with Cardinality Constraints.
Victor W. MarekJeffrey B. RemmelPublished in: Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Keyphrases
- logic programs
- normal form
- cardinality constraints
- functional dependencies
- logic programming
- relational databases
- database design
- integrity constraints
- database schema
- answer set programming
- relational model
- entity relationship
- fixpoint
- answer sets
- deductive databases
- xml documents
- relational algebra
- stable models
- inductive logic programming
- normal logic programs
- user defined
- databases
- strong equivalence
- query answering
- object oriented
- high level