On Datalog vs. LFP

DOI10.1007/978-3-540-70583-3_14zbMath1155.68402OpenAlexW1897022643WikidataQ58215582 ScholiaQ58215582MaRDI QIDQ3519499

Stephan Kreutzer, Anuj Dawar

Publication date: 19 August 2008

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70583-3_14

Mathematics Subject Classification ID

Logic in computer science (03B70) Model theory of finite structures (03C13) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Interpolation, preservation, definability (03C40) Descriptive complexity and finite models (68Q19)

Related Items (3)

Datalog Queries Distributing over Components ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• Datalog

This page was built for publication: On Datalog vs. LFP