The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract).
Simon CruanesStijn HeymansIan A. MasonSam OwreNatarajan ShankarPublished in: Specification, Algebra, and Software (2014)
Keyphrases
- extended abstract
- logic programming
- expressive power
- formal semantics
- fixpoint semantics
- deductive databases
- software tools
- query language
- containment of conjunctive queries
- logic programs
- conceptual model
- query answering
- relational calculus
- graphical representation
- first order logic
- semantic information
- high speed