Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val,20 - Combinatory logic - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2006-12-31 07:06:16 Mathematics Algebra Mathematical logic Relational model Models of computation Logic in computer science Database theory Lambda calculus Relational algebra Tuple Finitary relation Combinatory logic		Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 216,60 KB Share Document on Facebook

	Distributive Liberty: A Relational Model of Freedom, Coercion, and Property Law Source: Harvard Law Review, Vol. 107, No. 4 (Feb., 1994), ppPublished by: The Harvard Law Review Association Stable URL: http://ww DocID: 1v4N1 - View Document
	A latent factor model for highly multi-relational data † ◦ ? DocID: 1u62u - View Document
	Distributive Liberty: A Relational Model of Freedom, Coercion, and Property Law Source: Harvard Law Review, Vol. 107, No. 4 (Feb., 1994), ppPublished by: The Harvard Law Review Association Stable URL: http://ww DocID: 1tVFE - View Document
	A Coq Formalization of the Relational Data Model? ´ V´eronique Benzaken1 , Evelyne Contejean2 , and Stefania Dumbrava1 1 DocID: 1twjN - View Document