Database Theory Column: Deciding Bounded Recursion in Database Logic Programs.
Paris C. KanellakisSerge AbiteboulPublished in: SIGACT News (1989)
Keyphrases
- logic programs
- database theory
- database
- databases
- logic programming
- open problems
- answer sets
- fixpoint
- normal form
- stable models
- answer set programming
- database systems
- relational databases
- deductive databases
- prolog programs
- computational properties
- database schema
- relational database management systems
- database management systems
- database applications
- loop formulas
- database design
- data management
- normal logic programs
- data model
- partial deduction
- conjunctive queries
- stable model semantics
- strong equivalence
- recursive programs
- object oriented
- query language
- null values