Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation

Jan Maluszynski, Andrzej Szalas

The paper discusses properties of a DATALOG${}^{\neg \neg }$-like query language 4QL, originally outlined in [MS10]. Negated literals in heads of rules naturally lead to inconsistencie…