Pages that link to "Item:Q672333"
From MaRDI portal
The following pages link to Principles of programming with complex objects and collection types (Q672333):
Displaying 29 items.
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products (Q656874) (← links)
- A descriptive type foundation for RDF Schema (Q739626) (← links)
- Database query languages and functional logic programming (Q867491) (← links)
- Well-definedness and semantic type-checking for the nested relational calculus (Q870267) (← links)
- Semantics of types for database objects (Q915443) (← links)
- The foundation of self-developing blob machines for spatial computing (Q933442) (← links)
- A query language for NC (Q1376409) (← links)
- Models of approximation in databases (Q1389445) (← links)
- Domain-independent queries on databases with external functions (Q1389449) (← links)
- Bounded fixpoints for complex objects (Q1392283) (← links)
- Expressive power of SQL. (Q1401278) (← links)
- Incremental recomputation in local languages. (Q1401928) (← links)
- Local properties of query languages (Q1575140) (← links)
- A formalization of SQL with nulls (Q2102947) (← links)
- Query lifting. Language-integrated query for heterogeneous nested collections (Q2233480) (← links)
- Structural recursion as a query language on lists and ordered trees (Q2272218) (← links)
- MGS: a rule-based programming language for complex objects and collections (Q2841247) (← links)
- A safe relational calculus for functional logic deductive databases (Q2844062) (← links)
- The category theoretic understanding of universal algebra: Lawvere theories and monads (Q2864158) (← links)
- Semantic subtyping with an SMT solver (Q2913944) (← links)
- Provenance as dependency analysis (Q3103615) (← links)
- Comprehending Ringads (Q3188283) (← links)
- Expressivity and Complexity of MongoDB Queries (Q3305353) (← links)
- Higher order architecture of collections of objects (Q3465115) (← links)
- Capability-based localization of distributed and heterogeneous queries (Q4577810) (← links)
- Strongly-Normalizing Higher-Order Relational Queries (Q5043580) (← links)
- Fragments of Bag Relational Algebra: Expressiveness and Certain Answers (Q5091118) (← links)
- Iterating on multiple collections in synchrony (Q5101923) (← links)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)
