Datalog with non-deterministic choice computes NDB-PTIME

DOI10.1016/S0743-1066(97)10004-8zbMath0905.68031MaRDI QIDQ4208855

Dino Pedreschi, Fosca Giannotti

Publication date: 4 October 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

logic database languages

Mathematics Subject Classification ID

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

Related Items (3)

Scalar aggregation in inconsistent databases. ⋮ Semantics and expressive power of nondeterministic constructs in deductive databases ⋮ Minimal-change integrity maintenance using tuple deletions

Uses Software

• Datalog

This page was built for publication: Datalog with non-deterministic choice computes NDB-PTIME