[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hello,
In the research line stated by Ryan, you should also have a look at a
recent paper in the topic:
http://www.pps.univ-paris-diderot.fr/~gc/papers/popl13.pdf
On 10/29/2013 03:24 AM, Barry Jay wrote:
[ 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.
--
Prof. Véronique Benzaken www.lri.fr/~benzaken
Vice Présidente Recherche du Département d'Informatique
Équipe Vals - Verification, Algorithms, Languages and Systems
tel : +33(0)1 6915 6628 fax : +33(0)1 6915 6586
Université Paris Sud L.R.I (UMR 8623, C.N.R.S)
Bat 650, 91405 Orsay Cedex
«Summum jus, summa injuria»
--
