The following pages link to Datalog LITE (Q40608):
Displaying 8 items.
- Queries on XML streams with bounded delay and concurrency (Q553309) (← links)
- Efficient inclusion checking for deterministic tree automata and XML schemas (Q1041037) (← links)
- Guarded fixed point logics and the monadic theory of countable trees. (Q1853504) (← links)
- Evaluating Datalog via tree automata and cycluits (Q2322722) (← links)
- Positive Dedalus programs tolerate non-causality (Q2453541) (← links)
- The semijoin algebra and the guarded fragment (Q2567344) (← links)
- A guarded fragment for abstract state machines (Q2567346) (← links)
- (Q5232911) (← links)