Operational Semantics for Fixed-Point Logics on Constraint Databases

DOI10.1007/3-540-45653-8_32zbMath1275.68066OpenAlexW1883829184MaRDI QIDQ2996184

Stephan Kreutzer

Publication date: 6 May 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45653-8_32

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases

This page was built for publication: Operational Semantics for Fixed-Point Logics on Constraint Databases