Strong Equivalence of Relational Wxpressions Under Dependencies.
Marc H. GrahamAlberto O. MendelzonPublished in: Inf. Process. Lett. (1982)
Keyphrases
- strong equivalence
- logic programs
- answer set programming
- answer sets
- relational databases
- answer set semantics
- data model
- stable models
- argumentation frameworks
- artificial intelligence
- argumentation semantics
- database schema
- sufficient conditions
- logic programming
- reasoning tasks
- classical logic
- autoepistemic logic