A linear algebraic approach to datalog evaluation
From MaRDI portal
Publication:4593086
DOI10.1017/S1471068417000023zbMath1379.68082arXiv1608.00139MaRDI QIDQ4593086
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1608.00139
68N17: Logic programming
Uses Software