Relational calculus - PDFSEARCH.IO - Document Search Engine

Relational calculus
Results: 52

#	Item
1	Polymorphic Type Inference for the Named Nested Relational Calculus Jan Van den Bussche and Stijn Vansummeren∗ Abstract The named nested relational calculus is the canonical query language for the complex object databa Add to Reading List Source URL: alpha.uhasselt.be - Date: 2006-02-27 07:12:37
2	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
3	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 Language: English - 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
4	QOCO: A Query Oriented Data Cleaning System with Oracles Moria BergmanTova Milo 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2015-11-18 10:19:43 Data management Information retrieval Computing Relational model Database theory Relational database Tuple Database Relation Join Monotonic query Tuple relational calculus
5	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-09 01:13:27 Lambda calculus Eval Anonymous function Scheme Env Church encoding
6	Internalizing Relational Parametricity in the Extensional Calculus of Constructions (Technical Appendix) Neelakantan R. Krishnaswami Derek Dreyer April 2013 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-04-16 04:33:56
7	∃ Relational Calculus R&G, Chapter 4 We will occasionally use this Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2006-09-21 12:45:57
8	Supporting Ad-hoc Ranking Aggregates∗ Chengkai Li Kevin Chen-Chuan Chang Department of Computer Science Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2006-07-07 10:45:02 Binary operations Relational model Database theory Data management Relational database Tuple Extensible Storage Engine Finitary relation Relation Exponentiation Cartesian product Tuple relational calculus
9	Representing MapReduce Optimisations in the Nested Relational Calculus Marek Grabowski1 , Jan Hidders2 , and Jacek Sroka1 1 Institute of Informatics, University of Warsaw, Poland Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2013-10-22 17:08:34
10	Ranking Queries on Uncertain Data: A Probabilistic ∗ Threshold Approach Ming Hua Jian Pei Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-03-19 21:31:26 Mathematical notation Tuple Type theory Relational model Mean Exponentiation Binomial distribution Relational algebra Tuple relational calculus Mathematics Mathematical analysis Data management

UPDATE