``Possible is certain is desirable and can be expressive

DOI10.1023/A:1018903705269zbMath0880.68011OpenAlexW1494018217MaRDI QIDQ1370630

Sergio Greco, Domenico Saccà

Publication date: 7 January 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018903705269

zbMATH Keywords

Boolean hierarchyDATALOG

Mathematics Subject Classification ID

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

Related Items (4)

The expressive power of unique total stable model semantics ⋮ Semantics and expressive power of nondeterministic constructs in deductive databases ⋮ Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\). ⋮ Functional queries in datalog

This page was built for publication: ``Possible is certain is desirable and can be expressive