[ 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.
