Datalog LITE

DOI10.1145/504077.504079MaRDI QIDQ5738951zbMATH OpenOpenAlexFDO

Authors Georg Gottlob, Erich Grädel, Helmut Veith

Publication date 13 June 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/504077.504079

zbMATH Keywords

verificationcomplexitydatabasestemporal logicsguarded logics

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A linear algebraic approach to Datalog evaluation
• Linearisability on Datalog programs
• Querying datalog programs with temporal logic
• scientific article; zbMATH DE number 1696779
• Linear time Datalog and branching time logic
• Query processing in DOQL: A deductive database language for the ODMG model

Cited in

(12)

• A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic
• Queries on XML streams with bounded delay and concurrency
• On temporal logic versus Datalog
• Guarded fixed point logics and the monadic theory of countable trees.
• Datalog LITE
• Efficient inclusion checking for deterministic tree automata and XML schemas
• scientific article; zbMATH DE number 1696779 (Why is no real title available?)
• Evaluating Datalog via tree automata and cycluits
• Positive Dedalus programs tolerate non-causality
• scientific article; zbMATH DE number 7104937 (Why is no real title available?)
• Extending co-logic programs for branching-time model checking
• Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.

This page was built for publication: Datalog LITE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5738951)