Extending stratified datalog to capture complexity classes ranging from \(\mathcal P\) to \(Cal Q\mathcal H\)

DOI10.1007/PL00013306zbMath0973.68075MaRDI QIDQ5941747

Sergio Greco, Domenico Saccà, Carlo Zaniolo

Publication date: 26 August 2001

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

database complexity classesstratified DATALOG

Mathematics Subject Classification ID

Database theory (68P15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (1)

Answer set programming made easy

Uses Software

• Datalog

This page was built for publication: Extending stratified datalog to capture complexity classes ranging from \(\mathcal P\) to \(Cal Q\mathcal H\)