Datalog LITE

MaRDI QIDQ40608swMATHFDO

Official website https://dl.acm.org/citation.cfm?doid=504077.504079

Described by source

• Datalog LITE

Cited in

(13)

• Efficient inclusion checking for deterministic tree automata and XML schemas
• FALKO
• Guarded fixed point logics and the monadic theory of countable trees.
• STeLP
• Evaluating Datalog via tree automata and cycluits
• Ltur
• Positive Dedalus programs tolerate non-causality
• NP Datalog
• The semijoin algebra and the guarded fragment
• A guarded fragment for abstract state machines
• scientific article; zbMATH DE number 7104937 (Why is no real title available?)
• Queries on XML streams with bounded delay and concurrency
• DatalogMTL

This page was built for software: Datalog LITE