Datalog LITE
From MaRDI portal
Software:40608
swMATH28894MaRDI QIDQ40608FDOQ40608
Author name not available (Why is that?)
Cited In (8)
- A guarded fragment for abstract state machines
- Guarded fixed point logics and the monadic theory of countable trees.
- Efficient inclusion checking for deterministic tree automata and XML schemas
- Queries on XML streams with bounded delay and concurrency
- Positive Dedalus programs tolerate non-causality
- Title not available (Why is that?)
- Evaluating Datalog via tree automata and cycluits
- The semijoin algebra and the guarded fragment
This page was built for software: Datalog LITE
