Datalog LITE
From MaRDI portal
Software:40608
No author found.
Related Items (8)
Unnamed Item ⋮ Positive Dedalus programs tolerate non-causality ⋮ Queries on XML streams with bounded delay and concurrency ⋮ Evaluating Datalog via tree automata and cycluits ⋮ Efficient inclusion checking for deterministic tree automata and XML schemas ⋮ The semijoin algebra and the guarded fragment ⋮ A guarded fragment for abstract state machines ⋮ Guarded fixed point logics and the monadic theory of countable trees.
This page was built for software: Datalog LITE
