4 ms·

See also http://infolab.stanford.edu/~ullman/fcdb/aut07/slides/dlog.pdf?fbclid=IwAR2_-iZiMij7MB1IEPPtiYqfA7TiGj6XGBw7ai7Hlc09MrmcDSL9ipD5neQ_aem_AdfWbYVElFtCd0

by MLIR 3y ago

See also http://infolab.stanford.edu/~ullman/fcdb/aut07/slides/dlog.pdf?fbclid=IwAR2_-iZiMij7MB1IEPPtiYqfA7TiGj6XGBw7ai7Hlc09MrmcDSL9ipD5neQ_aem_AdfWbYVElFtCd0JFvGo6fvFOY3EFaYeyPluPWqnAg-_FyKYdOsUIeovVXV6C4TnrjpGFbmwOXEyQe96J6PjrVXWV&mibextid=Zxz2cZ http://infolab.stanford.edu/~ullman/fcdb/aut07/slides/dlog.p... https://github.com/vmware/differential-datalog https://github.com/vmware/differential-datalog