A compiler for stratified Datalog programs: preliminary results.
Bernardo CuteriFrancesco RiccaPublished in: SEBD (2017)
Keyphrases
- datalog programs
- deductive databases
- programming language
- magic sets
- conjunctive queries
- query answering
- inconsistent databases
- general purpose
- recursive queries
- data complexity
- datalog queries
- fixpoint
- fixpoint semantics
- data sets
- integrity constraints
- logic programs
- special case
- data exchange
- expressive power
- pattern matching
- np complete
- query language
- relational databases
- expert systems