Pages that link to "Item:Q5277792"
From MaRDI portal
The following pages link to Polymorphic type inference for the named nested relational calculus (Q5277792):
Displaying 6 items.
- Polymorphic type inference for the relational algebra (Q696968) (← links)
- Well-definedness and semantic type-checking for the nested relational calculus (Q870267) (← links)
- Conservativity of nested relational calculi with internal generic functions (Q1321813) (← links)
- On the complexity of deciding typability in the relational algebra (Q1777227) (← links)
- Well-defined NRC queries can be typed (extended abstract) (Q1799317) (← links)
- (Q3416642) (← links)