The following pages link to Database Programming Languages (Q5493336):
Displaying 6 items.
- Conjunctive query containment over trees using schema information (Q1702301) (← links)
- Axiomatizing the logical core of XPath 2.0 (Q2272223) (← links)
- Axiomatizations for downward XPath on data trees (Q2402362) (← links)
- On core xpath with inflationary fixed points (Q2842238) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- Future-Looking Logics on Data Words and Trees (Q3182936) (← links)