Unguarded Recursion on Coinductive Resumptions.

Sergey Goncharov Christoph Rauch Lutz Schröder

Published in: MFPS (2015)

Keyphrases

deductive databases
complex objects
knowledge base
relational databases
transitive closure
data sets
databases
machine learning
computational complexity
knowledge discovery
object oriented
general purpose
distributed systems
datalog programs