| 
|
Quote: Kleisli uses the nested relational calculus (NRC); lambda calculus plus records, and sets
topics >
all references >
references t-z >
Group:
sets
Topic:
database queries, joins, and relational algebra
Topic:
type algebras, typed lambda calculus, and type-complete languages
Quotation Skeleton
NRC [Nested Relational Calculus] is essentially the simply-typed lambda calculus … construction for building sets, a construct for decomposing … [of Breazu-Tannen and Buneman DBPL, 3.9:9-19, 1991]. Specifically, the construct for decomposing sets is U{e_1|x.in.e_2}, which forms … [o/x] over each o in the set e_2. NRC (suitably extended) … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: nested relational calculus decomposes sets using a restricted form of structural recursion
Group: sets (7 topics, 148 quotes)
Topic: database queries, joins, and relational algebra (33 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)