GitHub repository: srapisarda/stypes
Primary language: Scala
Created: 2017-04-24T22:11:45Z
Description: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries