Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion).
Arno SiebesShalom TsurJeffrey D. UllmanLaurent VieilleCarlo ZanioloPublished in: Logic in Databases (1996)
Keyphrases
- future directions
- deductive databases
- panel discussion
- lessons learned
- advanced technologies
- integrity constraints
- current challenges
- logic programming
- fixpoint
- disjunctive deductive databases
- query evaluation
- open questions
- semantic query optimization
- declarative language
- constraint checking
- integrity checking
- artificial intelligence in medicine
- current trends
- closed world assumption
- declarative semantics
- current status
- model theoretic
- fixpoint semantics
- multiple inheritance
- logic programs
- hypothetical reasoning
- software product line
- knowledge base
- datalog programs
- data integration
- general purpose