A single recursive predicate is sufficient for pure datalog

DOI10.1006/INCO.1995.1031zbMath0828.68071OpenAlexW2037932513MaRDI QIDQ1891166

Oded Shmueli

Publication date: 2 January 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1031

zbMATH Keywords

datalogquery languagerelational databases

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Uses Software

• Datalog

This page was built for publication: A single recursive predicate is sufficient for pure datalog