Chasing Programs in Datalog.
Nieves R. BrisaboaAgustin GonzálezHéctor J. HernándezJosé R. ParamáPublished in: DDLP (1998)
Keyphrases
- recursive programs
- deductive databases
- expressive power
- query answering
- database languages
- fixpoint
- query language
- program synthesis
- logic programs
- integrity constraints
- logic programming
- information systems
- real time
- computer programs
- automatic programming
- inductive logic programming
- special case
- case study
- stable models
- datalog programs
- data mining