Re: [TYPES] type theory and Big Data

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

Another typed approach to big data is to use the generic queries of 
pattern calculus

http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-89184-0 


and bondi http://bondi.it.uts.edu.au/

Generic queries can be applied to data structures of arbitrary type, 
without adding any apparatus for collections or monads, etc.  In 
principle, this allows a single, strongly-typed query to be executed 
across a wide variety of data bases, with varying schema.

Yours,
Barry




On 29/10/13 08:58, Ryan Wisnesky wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>
> Hi,
>
> Collection types, typically monadic, were instrumental in the development of 'functional query languages'.  This line of work started in the early 90s and a classical paper is Tannen, Buneman, and Wong's "Naturally Embedded Query Languages":
>
> http://repository.upenn.edu/cgi/viewcontent.cgi?article=1536&context=cis_reports
>
> Such languages continue to be proposed as interfaces for big-data systems like MapReduce:
>
> http://cacm.acm.org/magazines/2011/4/106584-a-co-relational-model-of-data-for-large-shared-data-banks/fulltext
>
> The implications of other type-theoretic constructions to information management are topics of current research.
>
> Regards,
> Ryan
>
>
> On Oct 28, 2013, at 7:09 AM, Dr. Rod Moten <[email protected]> wrote:
>
>> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>>
>> Do you think type theory has a role to play in providing the mathematics needed for Big Data?
>> https://www.simonsfoundation.org/quanta/20131004-the-mathematical-shape-of-things-to-come/

UTS CRICOS Provider Code: 00099F
DISCLAIMER: This email message and any accompanying attachments may contain confidential information.
If you are not the intended recipient, do not read, use, disseminate, distribute or copy this message or
attachments. If you have received this message in error, please notify the sender immediately and delete
this message. Any views expressed in this message are those of the individual sender, except where the
sender expressly, and with authority, states them to be the views of the University of Technology Sydney.
Before opening any attachments, please check them for viruses and defects.

Think. Green. Do.

Please consider the environment before printing this email.