J-Logic: a Logic for Querying JSON.

Jan Hidders Jan Paredaens Jan Van den Bussche

Published in: CoRR (2020)

Keyphrases

logic programming
classical logic
predicate logic
asynchronous circuits
database
query processing
computational properties
deductive reasoning
databases
genetic algorithm
information systems
knowledge base
multi agent systems
modal logic
logical framework
linear logic