Fast Left Kan Extensions Using the Chase.

Joshua Meyers David I. Spivak Ryan Wisnesky

Published in: J. Autom. Reason. (2022)

Keyphrases

functional dependencies
efficient implementation
query answering
data dependencies
precedence relations
information systems
multiscale
normal form
desirable properties
ant colony algorithm