Relational Theories with Null Values and Non-Herbrand Stable Models
Vladimir LifschitzKarl PichottaFangkai YangPublished in: CoRR (2012)
Keyphrases
- stable models
- logic programs
- null values
- relational databases
- logic programming
- integrity constraints
- incomplete information
- normal form
- relational model
- relational algebra
- relational calculus
- functional dependencies
- answer sets
- database schema
- relational data
- query evaluation
- fixpoint
- background knowledge
- stable model semantics
- closed world
- databases
- data dependencies
- answer set programming
- data model
- deductive databases
- aggregate functions
- inductive logic programming
- database
- object oriented
- query language
- expressive power
- artificial intelligence
- update operations
- xml data
- entity relationship
- database systems
- knowledge representation and reasoning
- database design
- predicate logic
- relational data model
- knowledge base
- horn clauses
- first order logic
- nonmonotonic reasoning
- query answering
- general purpose