Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar & Jérôme Siméon IBM Research

Source URL: hirzels.com

Bridging the Gap: Towards Optimization Across Linear and Relational Algebra Andreas Kunft Alexander Alexandrov

Source URL: www.user.tu-berlin.de

On Propagation of Deletions and Annotations Through Views Peter Buneman ∗

Source URL: homepages.inf.ed.ac.uk

• Relational model
• Data management
• Computing
• Data
• Database theory
• Mathematical notation
• Tuple
• Type theory
• Relational database
• Relational algebra
• Relation
• Bin

Copyright ©2005 by the Society for Industrial and Applied Mathematics This electronic version is for personal use and may not be duplicated or distributed. Chapter 6 Operators and Flow Control 6.1. Relational and Logica

Source URL: www.siam.org

• Software
• Computing
• Numerical linear algebra
• Array programming languages
• Cross-platform software
• Mathematical software
• Numerical software
• Array programming
• MATLAB
• Matrix
• For loop
• Relational operator

SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK.

Source URL: reduce-algebra.com

• Mathematical logic
• Mathematics
• Logic
• Boolean algebra
• Predicate logic
• Relational operator
• Predicate
• Boolean data type
• Algebra of sets
• Subset
• Equality
• Logical disjunction

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

Source URL: homepages.inf.ed.ac.uk

• Mathematics
• Algebra
• Mathematical logic
• Relational model
• Models of computation
• Logic in computer science
• Database theory
• Lambda calculus
• Relational algebra
• Tuple
• Finitary relation
• Combinatory logic

Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK

Source URL: www.cs.ox.ac.uk

• Logic
• Model theory
• Mathematics
• Mathematical logic
• Conjunctive query
• Structure
• First-order logic
• Substitution
• Relational algebra
• FO
• Interpretation
• Satisfiability

The Marriage of MrMathematica and MzScheme Chongkai Zhu Abstract

Source URL: www.deinprogramm.de

• Software
• Computing
• Functional languages
• Wolfram Mathematica
• Lisp
• Anonymous function
• Eval
• Computer algebra system
• SageMath
• Scheme
• Functional programming
• Relational operator

Why and Where: A Characterization of Data Provenance? Peter Buneman, Sanjeev Khanna??, and Wang-Chiew Tan University of Pennsylvania Department of Computer and Information Science 200 South 33rd Street, Philadelphia, PA

Source URL: homepages.inf.ed.ac.uk

• Data management
• Computing
• Information retrieval
• Query languages
• Relational model
• Database theory
• Relational algebra
• Database
• Relational database
• Provenance
• Peter Buneman
• Select

Introduction to Julia David Zeng Keegan Go Stephen Boyd

Source URL: stanford.edu

• Data types
• Software engineering
• Boolean algebra
• Computing
• Boolean data type
• Computer programming
• Primitive data type
• Boolean expression
• Operator
• Boolean
• Relational operator
• C