A unified view of monadic and applicative non-determinism.

Exequiel Rivas Mauro Jaskelioff Tom Schrijvers

Published in: Sci. Comput. Program. (2018)

Keyphrases

datalog queries
deductive databases
datalog programs
integrity constraints
query answering
fuzzy logic
artificial intelligence
database systems
management system