Eliminating Harmful Joins in Warded Datalog+/−

This publication has 13 references indexed in Scilit:

• Vadalog: Recent Advances and Applications
  2019
• The Vadalog system
  Proceedings of the VLDB Endowment, 2018
• Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
  Artificial Intelligence, 2016
• Datalog Rewritings of Regular Path Queries using Views
  Logical Methods in Computer Science, 2015
• Expressiveness of guarded existential rule languages
  2014
• Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
  2010
• A general datalog-based framework for tractable query answering over ontologies
  2009
• Linearisability on datalog programs
  Theoretical Computer Science, 2003
• Testing implications of data dependencies
  ACM Transactions on Database Systems, 1979
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976