Datalog-Based Program Analysis with BES and RWL.
María AlpuenteMarco Antonio FeliúChristophe JoubertAlicia VillanuevaPublished in: Datalog (2010)
Keyphrases
- deductive databases
- expressive power
- query answering
- query language
- transitive closure
- datalog programs
- integrity constraints
- logic programming
- ensemble selection
- knowledge representation
- predicate invention
- relational algebra
- data complexity
- relational calculus
- recursive programs
- existentially quantified
- containment of conjunctive queries
- ontology based data access
- parameter settings
- database languages
- databases
- complex objects
- incomplete information
- machine learning
- neural network