Expressions

Expressions in Rel.

This part of the manual consists of the following sections:

• Formulas
  • Relational Application
  • Conjunction
  • Disjunction
  • Implication
  • Negation
  • Boolean Constant Relations
  • Comparison Operators
• Conditional Expression
• Constants
  • Integer Constants
  • Floating-Point Constants
  • Character Constants
  • String Constants
  • Date Constants
  • Datetime Constants
• RelationalAbstractions
  • Bindings
  • Relational Abstraction
  • An Alternative Form of Relational Abstraction
  • “From” Expressions
  • From-Where
  • Relational Abstraction Alternatives
• Partial Relational Application
• Cartesian Product and Conjunction
• Union and Disjunction
• Precedence
• Relation Literals
• Composition
• Restriction
• Override
• Arithmetic Operators
• Underscore
• Existential Quantification
• Universal Quantification
• Aggregation
• Variable Scope