Executable First-Order Queries in the Logic of Information Flows.

Heba Aamer Bart Bogaerts Dimitri Surinx Eugenia Ternovska Jan Van den Bussche

Published in: ICDT (2020)

Keyphrases

information flows
information flow
query language
query processing
general logic programs
linear temporal logic
first order logic
query evaluation
horn clauses
emergency response
organizational structure
logic programming
databases
social networks
asynchronous circuits